Reasoning in Simple Type Theory
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)
Medimops DE
28-10-2026 19:41:54
Hugendubel Ähnliche Produkte
Simple Type Theory
0.00
Simple Type Theory
0.00
