 Logic in mathematics and computer science.Richard Zach  forthcoming  In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details


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


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


Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh  2016  Philosophia Mathematica 24 (3):283307.details


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


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


Peano’s structuralism and the birth of formal languages.Joan BertranSanMillán  2022  Synthese 200 (4):134.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


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


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


Projective duality and the rise of modern logic.Günther Eder  2021  Bulletin of Symbolic Logic 27 (4):351384.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 Scientiae 25:157183.details


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


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


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


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


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


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


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


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


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


The Axiom of Choice and the Road Paved by Sierpiński.Valérie Lynn Therrien  2020  Hopos: The Journal of the International Society for the History of Philosophy of Science 10 (2):504523.details


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


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


Alfred Tarski: philosophy of language and logic.Douglas Patterson  2012  New York: PalgraveMacmillan.details


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


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


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


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

