TY  - BOOK
AU  - Hughes,R.I.G.
TI  - A philosophical companion to first-order logic
SN  - 0872201821 (alk. paper)
AV  - BC 128 .P55 1993
PY  - 1993///
CY  - Indianapolis
PB  - Hackett Pub. Co.
KW  - First-order logic
KW  - Logic
N1  - Includes bibliographical references (p. 291-302) and index; Introduction / W.V. Quine -- Logical appraisal / P. F. Strawson -- Do conditionals have truth conditions? / Dorothy Edgington -- What do 'Q' and 'R' stand for anyway? / Richard E. Grandy -- Theories of truth / Paul Horwich -- The justification of deduction / Susan Haack -- Meanings of implification / John Corcoran -- Truth and Proof / Alfred Tarski -- Kant, Malcolm, and the Ontological Argument / Jonathan Bennett -- Quantifiers / Michael Dummett -- Existence and quantification / W. V. Quine -- The significance of "On Denoting" / Peter Hylton -- Gentzen's analysis of first-order proofs --On the idea of a general proof theory / Dag Prawitz -- What is logic? / Ian Hacking -- On first-order logic / R.I.G. Hughes
UR  - http://www.gbv.de/dms/bowker/toc/9780872201811.pdf
UR  - http://www.zentralblatt-math.org/zmath/en/search/?an=0827.03001
ER  -