Truth, Proof and Infinity: A Theory of Constructive Reasoning by P. Fletcher (En
193,71 €
What's Wrong with Set Theory?. What's Wrong with Infinite Quantifiers?. Abstraction and Idealisation. What are Constructions?. Truth and Proof of Logical Formulae. The Need for a Theory of Constructions.
Jetzt bei Ebay:
