scientific article
From MaRDI portal
Publication:3597502
zbMath1159.03004MaRDI QIDQ3597502
Publication date: 9 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items
Proof Theory in Philosophy of Mathematics, Impurity in contemporary mathematics, Discussing Hilbert's 24th problem, The implicit commitment of arithmetical theories and its semantic core, MODULARITY IN MATHEMATICS, Lagrange's theory of analytical functions and his ideal of purity of method