Synthese

Titel Veröffentlichungsdatum Sprache Zitate
The Category of Inner Models2002/10/01English
Preface2002/10/01English
Games In The Semantics Of Programming Languages – An Elementary Introduction2002/10/01English
Slow Versus Fast Growing2002/10/01English
The Incan Quipus2002/10/01English
Large numbers, Knuth's arrow notation, and Ramsey theory2002/10/01English
Mathematical Proof Theory in the Light of Ordinal Analysis2002/10/01English
Problems Of Philosophy2002/01/01English
Mathematical Proofs2003/01/01English
Fréchet and the Logic of the Constitution of Abstract Spaces from Concrete Reality2003/01/01English
Physical-Mathematical Reasoning: Galileo on the Extruding Power of Terrestrial Rotation2003/01/01English
Do Mathematical Constructions Escape Logic?2003/01/01English
Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis2003/01/01English
Styles of Physical Thinking Versus Mathematical Ones2003/01/01English
Two Ways of Reasoning and Two Ways of Arguing in Geometry. Some Remarks Concerning the Application of Figures in Euclidean Geometry2003/01/01English
Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach2003/01/01English
Intentional Gaps In Mathematical Proofs2003/01/01English
Proofs and Programs2003/01/01English
Rereading Gentzen2003/11/01English
Brouwer, as Never Read by Husserl2003/11/01English
Instructions for Authors2004/04/01English
Theories of Space-Time in Modern Physics2004/04/01English
Logics for Epistemic Programs2004/03/01English
Editorial2004/03/01English
A Characterization of von Neumann Games in Terms of Memory2004/03/01English
A Diagrammatic Reconstruction of Carnap's Quasianalysis2004/10/01English
Editorial2003/07/01English
What is Ontological Synthesis? – A Reply to Simon Saunders2003/07/01English
Appendix: Ontological Relativity and Fundamentality – Is QFT the Fundamental Theory?2003/07/01English
Critical Notice: Tian Yu Cao's ``The Conceptual Development of 20th Century Field Theories''2003/07/01English