Truth, proof and infinity. A theory of constructions and constructive reasoning

zbMath0927.03003MaRDI QIDQ1273591

Peter Fletcher

Publication date: 15 December 1998

Published in: Synthese Library (Search for Journal in Brave)

zbMATH Keywords

Heyting arithmeticfunctionalsphilosophy of mathematicsconstructive analysisfoundations of constructive mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Metamathematics of constructive systems (03F50)

Related Items (1)

The Constructive Mathematics of A. A. Markov

This page was built for publication: Truth, proof and infinity. A theory of constructions and constructive reasoning