Featured
Compare webshops (1)
Pages: 224, Paperback, OUP Oxford
Birkhauser
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Springer
Practical Reasoning: A Model for Normative and Empirical Reasoning
Independent Publisher
A Concise Overview of Functional Spaces in Modern Theory and Advanced Reasoning
Independently Published
Foundation of Mathematical Reasoning: Logic, Proofs and Set Theory
Back to top