 Peano’s structuralism and the birth of formal languages.Joan BertranSanMillán  2022  Synthese 200 (4):134.details


Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck  2013  Bulletin of Symbolic Logic 19 (4):433472.details


Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck  2017  Synthese 194 (1):3365.details


Peirce and diagrams: two contributors to an actual discussion review each other.Frederik Stjernfelt & AhtiVeikko Pietarinen  2015  Synthese 192 (4):10731088.details


Mario Pieri’s View of the Symbiotic Relationship between the Foundations and the Teaching of Elementary Geometry in the Context of the Early Twentieth Century Proposals for Pedagogical Reform.Elena Anne Corie Marchisotto & Ana Millán Gasca  2021  Philosophia Scientae 25:157183.details


Fixed versus Variabledomain Interpretations of Tarski’s Account of Logical Consequence.Paolo Mancosu  2010  Philosophy Compass 5 (9):745759.details


Essay Review of Three Books on Frank Ramsey†.Paolo Mancosu  2021  Philosophia Mathematica 29 (1):110150.details


The role of universal language in the early work of Carnap and Tarski.Iris Loeb  2017  Synthese 194 (1):1531.details


A recently recurring mistake over Russell's theory of descriptions.Lloyd Humberstone  forthcoming  Analytic Philosophy.details


Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend  2013  Dordrecht, Netherland: Springer.details


On Rereading van Heijenoort’s Selected Essays.Solomon Feferman  2012  Logica Universalis 6 (34):535552.details


Projective duality and the rise of modern logic.Günther Eder  2021  Bulletin of Symbolic Logic 27 (4):351384.details


Frege and the origins of model theory in nineteenth century geometry.Günther Eder  2019  Synthese 198 (6):55475575.details


Beppo Levi’s Analysis of the Paradoxes.Riccardo Bruni  2013  Logica Universalis 7 (2):211231.details


Lingua characterica and calculus ratiocinator: The Leibnizian background of the FregeSchröder polemic.Joan BertranSan Millán  2021  Review of Symbolic Logic 14 (2):411446.details


Frege, Peano and the Interplay between Logic and Mathematics.Joan BertranSan Millán  2021  Philosophia Scientiae 25 (1):1534.details


Frege, Peano and the Interplay between Logic and Mathematics.Joan BertranSan Millán  2021  Philosophia Scientiae 25:1534.details


Von neumann’s consistency proof.Luca Bellotti  2016  Review of Symbolic Logic 9 (3):429455.details


Alfred Tarski: Philosophy of Language and Logic.Douglas Patterson  2012  Basingstoke and London, UK: PalgraveMacmillan.details


The algebra of logic tradition.Stanley Burris  2010  Stanford Encyclopedia of Philosophy.details


Paradoxes and contemporary logic.Andrea Cantini  2008  Stanford Encyclopedia of Philosophy.details


Kurt gödel.Juliette Kennedy  2008  Stanford Encyclopedia of Philosophy.details


Turing machines.David BarkerPlummer  2008  Stanford Encyclopedia of Philosophy.details


The Subject Matter of Logic: Explaining what logic is about.Elizabeth Olsen  2021  Dissertation, Victoria University of Wellingtondetails


The Crisis in the Foundations of Mathematics.J. Ferreiros  2008  In Timothy Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.details

