Chad E. Brown – författare
Visar alla böcker från författaren Chad E. Brown. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Automated Reasoning in Higher-order Logic
Set Comprehension and Extensionality in Church's Type Theory
Häftad, Engelska, 2007
399 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
399 kr
Skickas inom 5-8 vardagar