Chad E. Brown - Böcker
Visar alla böcker från författaren Chad E. Brown.
2 produkter
2 produkter
Automated Reasoning in Higher-order Logic
Set Comprehension and Extensionality in Church's Type Theory
Häftad, Engelska, 2007
389 kr
Skickas inom 5-8 vardagar
Reasoning in Simple Type Theory
Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Häftad, Engelska, 2008
389 kr
Skickas inom 5-8 vardagar