scientific article; zbMATH DE number 1748963
From MaRDI portal
Publication:4530611
zbMath1001.03005MaRDI QIDQ4530611
No author found.
Publication date: 4 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Collections of reprinted articles (00B60)
Related Items
Peano's axioms in their historical context, Logic in Russell's Principles of Mathematics, Representations of structural closure operators, Five stages of accepting constructive mathematics, Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\), A semantic hierarchy for intuitionistic logic, The scope of Feferman's semi-intuitionistic set theories and his second conjecture, DA INTUIÇÃO À AXIOMATIZAÇÃO DA MATEMÁTICA: UMA ANÁLISE DIACRÔNICA DA TRANSPOSIÇÃO DIDÁTICA DOS CARDINAIS E ORDINAIS, Constructive mathematics: a foundation for computable analysis, Higher order functions and Brouwer’s thesis
