Reasoning in Simple Type Theory
41.30 EUR
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
21-04-2026 18:18:43
Ähnliche Produkte
Simple Type Theory
59.30 EUR
Simple Type Theory
90.94 EUR
