Notre Dame Journal of Formal Logic

33 reviews · 1989–2022

Search reviews from Notre Dame Journal of Formal Logic

Book Title Author Reviewer Date
Hilbert's Fifth Problem and Related Topics Terence Tao Isaac Goldbring 2022-01-01
Tracking Reason: Proof, Consequence, and Truth Jody Azzouni Gila Sher 2009-01-01
Vagueness in Context Stewart Shapiro Leon Horsten 2009-01-01
Phenomenology, Logic, and the Philosophy of Mathematics Richard Tieszen Robert Hanna 2009-01-01
The Taming of the True Neil Tennant W D Hart 2008-01-01
On Brouwer Mark Van Atten O Bradley Bassler 2006-12-01
A Structural Account of Mathematics Charles S Chihara Alan Baker 2006-11-01
Putting Logic in Its Place: Formal Constraints on Rational Belief David Christensen Patrick Maher 2006-01-01
Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap Michael Potter Richard Zach 2005-12-01
Deflating Existential Consequence: A Case for Nominalism Jody Azzouni Julian C Cole 2005-01-01
The Foundations of Mathematics in the Theory of Sets: Encyclopedia of Mathematics and Its Applications Ser., Vol. 82 John P Mayberry O Bradley Bassler 2005-01-01
Kurt Gödel: Collected Works, Volume IV: Correspondence A-G Solomon Feferman Paolo Mancosu 2004-01-01
From Peirce to Skolem: A Neglected Chapter in the History of Logic Geraldine Brady Albert C Lewis 2004-01-01
Kurt Gödel: Collected Works, Volume V: Correspondence H-Z Solomon Feferman Paolo Mancosu 2004-01-01
The Limits of Abstraction Kit Fine John P Burgess 2003-01-01
Understanding Truth Scott Soames Robert C Koons 2000-01-01
Admissibility of Inference Rules V V Rybakov Marcus Kracht 1999-09-01
The Revision Theory of Truth Anil Gupta Robert C Koons 1994-09-01
Reply to Robert Koons Anil Gupta Anil Gupta 1994-09-01
Many-Valued Logics Grzegorz Malinowski Alasdair Urquhart 1994-06-01
Logic and Other Nonsense: The Case of Anselm and His God Ermanno Bencivenga Clement Dore 1994-06-01
The Nature of All Being Raymond Bradley D M Armstrong 1993-12-01
Set Theory with a Universal Set T E Forster Richard Kaye 1993-03-01
Classification Theory and the Number of Non-Isomorphic Models S Shelah Steven Buechler 1992-12-01
The Mathematical Philosophy of Bertrand Russell Francisco A Rodriguez-Consuegra Gregory Landini 1992-09-01
Models of Peano Arithmetic Richard Kaye Laurence Kirby 1992-06-01
If P, Then Q David H Sanford Robert Stalnaker 1992-03-01
Constructivism in Mathematics, V1 A S Troelstra Michael J Beeson 1991-03-01
Constructivism in Mathematics, V2 A S Troelstra Michael J Beeson 1991-03-01
Toposes and Local Set Theories: An Introduction J L Bell Colin McLarty 1990-12-01
Kurt Gödel: Collected Works, V2 Solomon Feferman G Kreisel 1990-09-01
Computability Theory, Semantics, and Logic Programming Melvin Fitting Martin Davis 1990-06-01
Non-well-founded Sets Peter Aczel R Hinnion 1989-03-01