An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
Product Description
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27)
- Used Book in Good Condition
Technical Specifications
You might also like
Complete Upright Piano Protector for August Förster 116 E 2000-2024 2025 2026 Light Blocking Instrument Cover Dustproof Split Curtain Piano Shield,Black
Paul and the Apocalyptic Triumph: An Investigation of the Usage of Jewish and Greco-Roman Imagery in 1 Thess. 4:13–18 (Apocalypticism)
The Observable: Heisenberg’s Philosophy of Quantum Mechanics (History and Philosophy of Science)
Vygotsky and Creativity (Educational Psychology)
de-testing and de-grading schools: Authentic Alternatives to Accountability and Standardization (Counterpoints)
A Guide to Creating Student-Staffed Writing Centers, Grades 6–12, Revised Edition
The Changing Face of Problematic Internet Use
The Fantasy of Reality: Critical Essays on «The Real Housewives»