First-order logic
New York [etc.]: Springer Verlag (1968) Copy BIBTEX
Abstract
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as ...Author's Profile
Other Versions
No versions found
(no proxy)My notes
Similar books and articles
The first-order logic of CZF is intuitionistic first-order logic.Robert Passmann -2024 -Journal of Symbolic Logic 89 (1):308-330.
Geometrisation of first-order logic.Roy Dyckhoff And Sara Negri -2015 -Bulletin of Symbolic Logic 21 (2):123-163.
Analytics
Added to PP
2009-09-15
Downloads
131 (#177,628)
6 months
5 (#860,048)
2009-09-15
Downloads
131 (#177,628)
6 months
5 (#860,048)
Historical graph of downloads
How can I increase my downloads?Author's Profile
Citations of this work
Tolerant, Classical, Strict.Pablo Cobreros,Paul Egré,David Ripley &Robert van Rooij -2012 -Journal of Philosophical Logic 41 (2):347-385.
First-Order Modal Logic.Melvin Fitting &Richard L. Mendelsohn -1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
(I can’t get no) antisatisfaction.Pablo Cobreros,Elio La Rosa &Luca Tranchini -2020 -Synthese 198 (9):8251-8265.
Categorical Quantification.Constantin C. Brîncuş -2024 -Bulletin of Symbolic Logic 30 (2):pp. 227-252.
A Defeasible Calculus for Zetetic Agents.Jared A. Millson -2021 -Logic and Logical Philosophy 30 (1):3-37.
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-54b44b69b7-cj6sj uwo