A revolution in the foundations of mathematics?
From MaRDI portal
Publication:1297035
DOI10.1023/A:1004970403579zbMath0937.03006MaRDI QIDQ1297035
Publication date: 3 August 1999
Published in: Synthese (Search for Journal in Brave)
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80) Intermediate logics (03B55)