Truth, proof and infinity. A theory of constructions and constructive reasoning
From MaRDI portal
Publication:1273591
zbMath0927.03003MaRDI QIDQ1273591
Publication date: 15 December 1998
Published in: Synthese Library (Search for Journal in Brave)
Heyting arithmetic; functionals; philosophy of mathematics; constructive analysis; foundations of constructive mathematics
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F50: Metamathematics of constructive systems