Placeholder text
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Studies in Logic: Mathematical Logic and Foundations)
0 - Default Title
Product details
- Binding:
- Paperback
- Number of Pages:
- 480
- Release Date:
- 2008-12-01
- Publication Date:
- 2008-12-01
- Publisher:
- College Publications
- Languages:
- Published: English, Original: English
- ISBN10:
- 1904987702
- GPSR Manufacturer Reference:
- [email protected]
- Weight:
- 1050 g
Currently sold out