| Modern Mathematical Logic |
Joseph Mileti |
Henry Towsner |
The Bulletin of Symbolic Logic |
2025-09-00 |
| Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism |
Jared Warren |
M Rescorla |
History and Philosophy of Logic |
2024-08-01 |
| A Beginner's Further Guide to Mathematical Logic |
Raymond Smullyan |
Morten Heine Sørensen |
Studia Logica |
2019-10-01 |
| Gödel's Disjunction: The Scope and Limits of Mathematical Knowledge |
Leon Horsten |
Panu Raatikainen |
History and Philosophy of Logic |
2018-11-01 |
| Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic |
Nick Haverkamp |
Jan Walker |
Dialectica |
2017-12-01 |
| Talking About Numbers: Easy Arguments for Mathematical Realism |
Katharina Felka |
Richard Lawrence |
History and Philosophy of Logic |
2017-11-01 |
| Mathematical Knowledge and the Interplay of Practices |
José Ferreirós |
Madeline Muntersbjorn |
History and Philosophy of Logic |
2017-02-01 |
| Set Theory, Studies in Logic: Mathematical Logic and Foundations, Vol. 34 |
Kenneth Kunen |
David Milovich |
The Bulletin of Symbolic Logic |
2016-09-00 |
| The Foundations of Mathematics, Studies in Logic, Mathematical Logic and Foundations, vol. 19 |
Kenneth Kunen |
Steffen Lempp |
The Bulletin of Symbolic Logic |
2016-06-00 |
| Strict Finitism and the Logic of Mathematical Applications |
Feng Ye |
Jean Paul Van Bendegem |
Philosophia Mathematica |
2016-03-11 |
| Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic |
Nick Haverkamp |
Mattia Petrolo |
Revue philosophique de la France et de l'étranger |
2016-01-01 |
| Intuitionism vs. Classicism: A Mathematical Attack on Classical Logic |
Nick Haverkamp |
Fred Richman |
Philosophia Mathematica |
2015-10-27 |
| Slicing the truth: On the computable and reverse mathematics of combinatorial principles. Lecture Note Series, Institute for Mathematical Sciences, National University of Singapore, vol. 28 |
Denis R. Hirschfeldt |
Jeffry L. Hirst |
The Bulletin of Symbolic Logic |
2015-09-00 |
| Lecture Note Series of the London Mathematical Society, vol. 406 James Cummings Ernest Schimmerling |
James Cummings |
Natasha Dobrinen |
The Bulletin of Symbolic Logic |
2014-03-00 |
| Strict Finitism and the Logic of Mathematical Applications |
Feng Ye |
Maarten Mckubre-Jordens |
Philosophy in Review |
2014-01-01 |
| The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940 |
Paolo Mancosu |
C. Dutilh Novaes |
Mind |
2013-04-01 |
| The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940 |
Paolo Mancosu |
Michael Potter |
Philosophia Mathematica |
2012-06-01 |
| The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940 |
Paolo Mancosu |
Mark Van Atten |
History and Philosophy of Logic |
2012-05-01 |
| The Adventure of Reason: Interplay between Philosophy of Mathematics and Mathematical Logic, 1900-1940 |
Paolo Mancosu |
Thomas Mormann |
Metascience |
2011-06-28 |
| The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited |
Curtis Franks |
W W Tait |
History and Philosophy of Logic |
2011-05-01 |
| The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited |
Curtis Franks |
Juliette Kennedy |
The Bulletin of Symbolic Logic |
2011-03-01 |
| The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited |
Curtis Franks |
Juliette Kennedy |
The Bulletin of Symbolic Logic |
2011-03-00 |
| Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75 |
Greg Hjorth |
Howard Becker |
The Bulletin of Symbolic Logic |
2010-09-00 |
| The Philosophy of Mathematical Practice |
Paolo Mancosu |
J Ferreirós |
History and Philosophy of Logic |
2009-11-01 |
| Mathematical Logic Ian Chiswell Wilfrid Hodges |
Ian Chiswell |
Robert Lubarsky |
The Bulletin of Symbolic Logic |
2008-06-00 |
| Modern Algebra and the Rise of Mathematical Structures |
Leo Corry |
Thomas Drucker |
The Bulletin of Symbolic Logic |
2007-03-01 |
| Mathematical Problems from Applied Logic I |
Dov M Gabbay |
Anders Søgaard |
Studia Logica |
2007-01-01 |
| Rippling: Meta-Level Guidance for Mathematical Reasoning |
Alan Bundy |
Joe Hurd |
The Bulletin of Symbolic Logic |
2006-09-01 |
| On the Mathematical Method and Correspondence with Exner (Studien Zur Österreichischen Philosophie, Band XXXVII |
Bernard Bolzano |
S B Russ |
History and Philosophy of Logic |
2006-05-01 |
| Analytic Quotients: Memoirs of the American Mathematical Society, Vol. 148, No. 702 |
Ilijas Farah |
D H Fremlin |
The Bulletin of Symbolic Logic |
2006-03-01 |
| Saunders Mac Lane: A Mathematical Autobiography |
Saunders Mac Lane |
K V H Parshall |
History and Philosophy of Logic |
2006-02-01 |
| Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
Igor Lavrov |
Ewa Palka |
Studia Logica |
2005-11-01 |
| Foundation of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, 10-13 November |
Benedikt Löwe |
Gerald K Callaghan |
History and Philosophy of Logic |
2005-05-01 |
| Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
Igor Lavrov |
Elliott Mendelson |
Studia Logica |
2005-04 |
| Consequences of the Axiom of Choice (Mathematical Surveys and Monographs, Vol. 59) |
Paul Howard |
Andreas Blass |
The Bulletin of Symbolic Logic |
2005-03-01 |
| The Mathematical Analysis of Logic: Being an Essay towards a Calculus of Deductive Reasoning by George Boole (Die mathematische Analyse der Logik: Der Versuch eines Kalküls des deduktiven Schließen von George Boole) |
George Boole |
Risto Vilkko |
The Bulletin of Symbolic Logic |
2004-03-01 |
| Mathematics in Art: Mathematical Visualization in Art and Education |
Claude P Bruter |
Walter Carnielli |
Logic and Logical Philosophy |
2004-01-01 |
| Fuzzy Logic: Mathematical Tools for Approximate Reasoning (Trends in Logic, Studia Logica Library 11) |
Giangiacomo Gerla |
Petr Hájek |
The Bulletin of Symbolic Logic |
2003-12-01 |
| A mathematical introduction to logic |
Herbert B Enderton |
Natasha Dobrinen |
The Bulletin of Symbolic Logic |
2003-09-01 |
| George Boole: 'The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning' (1847) |
Tilman Bergt |
Ingomar Kloos |
Prima Philosophia |
2003-07-01 |
| The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel |
I Grattan-Guinness |
Ignacio Jané |
History and Philosophy of Logic |
2002-01-01 |
| A Course in Model Theory. An Introduction to Contemporary Mathematical Logic Bruno Poizat Moses Klein |
Bruno Poizat |
Gregory Cherlin |
The Bulletin of Symbolic Logic |
2001-12-00 |
| Mathematical Logic |
Peter B Andrews |
Mitsuru Yasuhara |
The Bulletin of Symbolic Logic |
2001-09-00 |
| Classical and Fuzzy Concepts in Mathematical Logic and Applications |
Mircea Reghis |
Patrick Grim |
Studia Logica |
2001-08-01 |
| Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2 |
Dov M Gabbay |
Ulrich Hustadt |
Journal of Logic, Language and Information |
2001-06-01 |
| Solving the frame problem. A mathematical investigation of the common sense law of inertia |
Murray Shanahan |
Michael Gelfond |
The Journal of Symbolic Logic |
1998 |
| Metaphysical Myths, Mathematical Practice: The Ontology and Epistemology of the Exact Sciences |
Jody Azzouni |
Mark Balaguer |
The Journal of Symbolic Logic |
1995 |
| Mathematical logic: applications and theory |
Jean E. Rubin |
Walter Felscher |
The Journal of Symbolic Logic |
1994 |
| Fixed Point Constructions in Various Theories of Mathematical Logic |
Giovanni Sommaruga-Rosolemos |
Jesús Padilla-Galvez |
Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia |
1993-11-01 |
| Perspectives on the history of mathematical logic |
Thomas Drucker |
Michele Di Francesco |
History and Philosophy of Logic |
1993-01-01 |
