| Logic for Justice: An Introduction to Formal Logic with and Emphasis on Political Reform |
Isaac Wilhelm |
Mate Penava |
Teaching Philosophy |
2024-09-01 |
| Hilbert's Fifth Problem and Related Topics |
Terence Tao |
Isaac Goldbring |
Notre Dame Journal of Formal Logic |
2022-01-01 |
| The History of Philosophical and Formal Logic from Aristotle to Tarski |
Alex Malpass |
Michael Scanlan |
History and Philosophy of Logic |
2019-05-01 |
| The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age |
J Von Plato |
L Bellotti |
History and Philosophy of Logic |
2019-02-01 |
| Freedom and Enforcement in Action: A Study in Formal Action Theory |
Janusz Czelakowski |
Mateusz Klonowski |
Logic and Logical Philosophy |
2018-06-01 |
| Other Logics: Alternatives to Formal Logic in the History of Thought and Contemporary Philosophy |
Admir Skodo |
Anssi Korhonen |
History and Philosophy of Logic |
2015-05-01 |
| Dense Sphere Packings: A Blueprint for Formal Proofs |
Thomas Hales |
Jeremy Avigad |
The Bulletin of Symbolic Logic |
2014-12-00 |
| Formal Languages in Logic: A Philosophical. and Cognitive Analysis |
Catarina Dutilh |
Dirk Schlimm |
History and Philosophy of Logic |
2014-02-01 |
| Formal Languages in Logic: A Philosophical. and Cognitive Analysis |
Catarina Dutilh |
Lorenz Demey |
Tijdschrift voor Filosofie |
2014-01-01 |
| Formal Languages in Logic: A Philosophical. and Cognitive Analysis |
Catarina Dutilh |
Martin Aher |
The Philosophical Quarterly |
2013-04-01 |
| Formal Ontology and Conceptual Realism |
Nino B Cocchiarella |
Richard L Mendelsohn |
History and Philosophy of Logic |
2009-11-01 |
| Tracking Reason: Proof, Consequence, and Truth |
Jody Azzouni |
Gila Sher |
Notre Dame Journal of Formal Logic |
2009-01-01 |
| Vagueness in Context |
Stewart Shapiro |
Leon Horsten |
Notre Dame Journal of Formal Logic |
2009-01-01 |
| Phenomenology, Logic, and the Philosophy of Mathematics |
Richard Tieszen |
Robert Hanna |
Notre Dame Journal of Formal Logic |
2009-01-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Eleonora Cresto |
Crítica: Revista Hispanoamericana de Filosofía |
2008-12-00 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Michael G. Titelbaum |
Mind |
2008-07-01 |
| The Taming of the True |
Neil Tennant |
W D Hart |
Notre Dame Journal of Formal Logic |
2008-01-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Igor Douven |
The Philosophical Review |
2008-01-00 |
| Mainstream and Formal Epistemology |
Vincent F Hendricks |
Paul Égré |
The Bulletin of Symbolic Logic |
2007-03-01 |
| forall x: An Introduction to Formal Logic, Version 1.11 |
P D Magnus |
Matthew McKeon |
Teaching Philosophy |
2006-12-01 |
| On Brouwer |
Mark Van Atten |
O Bradley Bassler |
Notre Dame Journal of Formal Logic |
2006-12-01 |
| A Structural Account of Mathematics |
Charles S Chihara |
Alan Baker |
Notre Dame Journal of Formal Logic |
2006-11-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Stephen Watson |
Australasian Journal of Philosophy |
2006-09-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
M Benzi |
History and Philosophy of Logic |
2006-05-01 |
| Formal Philosophy |
Vincent F Hendricks |
Amirouche Moktefi |
Logic and Logical Philosophy |
2006-01-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Patrick Maher |
Notre Dame Journal of Formal Logic |
2006-01-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
Henry E Kyburg Jr |
The Bulletin of Symbolic Logic |
2005-12-01 |
| Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap |
Michael Potter |
Richard Zach |
Notre Dame Journal of Formal Logic |
2005-12-01 |
| Putting Logic in Its Place: Formal Constraints on Rational Belief |
David Christensen |
William J. Talbott |
Notre Dame Philosophical Reviews |
2005-10-04 |
| Handbook of Formal Languages, Vols. 1-3 |
Grzegorz Rozenberg |
Gabriel Infante-Lopez |
Journal of Logic, Language and Information |
2005-09-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 |
| Deflating Existential Consequence: A Case for Nominalism |
Jody Azzouni |
Julian C Cole |
Notre Dame Journal of Formal Logic |
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 |
Notre Dame Journal of Formal Logic |
2005-01-01 |
| Formal Logic: A Philosophical Approach |
Paul Hoyningen-Huene |
Arthur Sullivan |
Philosophy in Review |
2005-01-01 |
| An Introduction to Formal Logic |
Peter Smith |
David DeVidi |
The Bulletin of Symbolic Logic |
2004-12-01 |
| Kurt Gödel: Collected Works, Volume IV: Correspondence A-G |
Solomon Feferman |
Paolo Mancosu |
Notre Dame Journal of Formal Logic |
2004-01-01 |
| From Peirce to Skolem: A Neglected Chapter in the History of Logic |
Geraldine Brady |
Albert C Lewis |
Notre Dame Journal of Formal Logic |
2004-01-01 |
| Kurt Gödel: Collected Works, Volume V: Correspondence H-Z |
Solomon Feferman |
Paolo Mancosu |
Notre Dame Journal of Formal Logic |
2004-01-01 |
| The Limits of Abstraction |
Kit Fine |
John P Burgess |
Notre Dame Journal of Formal Logic |
2003-01-01 |
| An Invitation to Formal Reasoning. The Logic of Terms Fred Sommers George Englebretsen |
Fred Sommers |
William C. Purdy |
The Bulletin of Symbolic Logic |
2002-03-00 |
| Understanding Truth* |
Scott Soames |
Robert C Koons |
Notre Dame Journal of Formal Logic |
2000-01-01 |
| Admissibility of Inference Rules |
V V Rybakov |
Marcus Kracht |
Notre Dame Journal of Formal Logic |
1999-09-01 |
| Formal methods in artificial intelligence |
Allan Ramsay |
Francis Jeffry Pelletier |
The Journal of Symbolic Logic |
1996 |
| The language of machines. An introduction to computability and formal languages |
Robert W. Floyd and Richard Beigel |
Raymond D. Gumb |
The Journal of Symbolic Logic |
1996 |
| Discovering Formal Logic |
Kathleen Johnson Wu |
NORMAN M. Martin |
Philosophical Books |
1995-04-01 |
| The Revision Theory of Truth |
Anil Gupta and Nuel Belnap |
Robert C Koons |
Notre Dame Journal of Formal Logic |
1994-09-01 |
| Many-Valued Logics |
Grzegorz Malinowski |
Alasdair Urquhart |
Notre Dame Journal of Formal Logic |
1994-06-01 |
| Logic and Other Nonsense: The Case of Anselm and His God |
Ermanno Bencivenga |
Clement Dore |
Notre Dame Journal of Formal Logic |
1994-06-01 |
| The Nature of All Being: A Study of Wittgenstein's Modal Atomism |
Raymond Bradley |
D M Armstrong |
Notre Dame Journal of Formal Logic |
1993-12-01 |
| Set Theory with a Universal Set |
T E Forster |
Richard Kaye |
Notre Dame Journal of Formal Logic |
1993-03-01 |
