You have Guest access.
Log In
José Ferreirós
Journal Article
Foundations for analysis and proof theory
Wilfried Sieg
Synthese, 1984, Volume 60, Number 2, Pages 159-200
Hilbert, logicism, and mathematical existence
Synthese, 2009, Volume 170, Number 1, Pages 33-70
Book Chapter
From Logic to Theoretical Computer Science – An Update
Boris A. Trakhtenbrot
Lecture Notes in Computer Science, 2008, Volume 4800, Pillars of Computer Science, Pages 1-38
Admissible sets and structures 394 pp, Perspectives in Mathematical Logic, Springer Verlag, Berlin, Heidelberg, New York 1975
Bernd I. Dahn
Studia Logica, 1978, Volume 37, Number 3, Pages 297-299
Reminiscences of logicians
J N Crossley
Lecture Notes in Mathematics, 1975, Volume 450, Algebra and Logic, Pages 1-62
The Craig Interpolation Theorem in abstract model theory
Jouko Väänänen
Synthese, 2008, Volume 164, Number 3, Pages 401-420
Uniqueness of trigonometric series and descriptive set theory, 1870–1985
Roger Cooke
Archive for History of Exact Sciences, 1992, Volume 45, Number 4, Pages 281-334
Naming Infinity by Loren Graham and Jean-Michel Kantor Cambridge, MA: Harvard University Press, 2009, 239 pp. ISBN:978-0-674-03293-4
The Mathematical Intelligencer, 2010, Volume 32, Number 1, Pages 59-64
Preface
Jean-Yves Béziau
Logica Universalis, 2007, Volume 1, Number 1, Pages 1-2
Regulation of gene function: A comparison of enzyme activity levels in relation to gene dosage in diploids and triploids of Drosophila melanogaster
John C. Lucchesi and John M. Rawls
Biochemical Genetics, 1973, Volume 9, Number 1, Pages 41-51
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info