| 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 |
| 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: A Study of Wittgenstein's Modal Atomism |
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 |
