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 ...

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,698

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

First-order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Review: Raymond M. Smullyan, First-order Logic. [REVIEW]William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
Review: Raymond M. Smullyan, First-Order Logic. [REVIEW]Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (1):351-351.
First-order logic: an introduction.Leigh S. Cauman - 1998 - New York: Walter de Gruyter.
Geometrisation of first-order logic.Roy Dyckhoff And Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.
On the first-order logic of terms.Lars Svenonius - 1973 - Journal of Symbolic Logic 38 (2):177-188.
First‐Order Logic.Roger Fellows - 1996 - Philosophical Books 37 (4):284-286.

Analytics

Added to PP
2009-09-15

Downloads
121 (#149,780)

6 months
19 (#181,562)

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.
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
A Defeasible Calculus for Zetetic Agents.Jared A. Millson - 2021 - Logic and Logical Philosophy 30 (1):3-37.

View all 198 citations / Add more citations

References found in this work

No references found.

Add more references