Strict finitism
From MaRDI portal
Publication:1170178
DOI10.1007/BF00413828zbMath0497.03002MaRDI QIDQ1170178
Publication date: 1982
Published in: Synthese (Search for Journal in Brave)
proof; vagueness; meaning; belief; intuitionism; strict finitist semantics for first-order arithmetic; strict finitist tree
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Strict finitism and the happy sorites, Wittgenstein and logic, Intuitionism, Meaning Theory and Cognition
Cites Work