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 (10)
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
This page was built for publication:
