A philosophical companion to first-order logic / 
edited, with an overview, by R.I.G. Hughes. 
 - Indianapolis :  Hackett Pub. Co.,  c1993. 
 - viii, 309 p. ;  22 cm. 
<br/><br/>Includes bibliographical references (p. 291-302) and index. 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>0872201821 (alk. paper) 9780872201828 (alk. paper) 0872201813 (pbk. : alk. paper) 9780872201811 (pbk. : alk. paper) 
<br/><br/><label>LCCN: </label>93014456 
<br/><br/><label>Nat. Bib. No.: </label>GB94-65131 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>087-22018  uk b94-65131  uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>First-order logic.
<br/><br/><label>Subjects--Index Terms: </label>Logic 
<br/><br/><label>LC Class. No.: </label>BC 128  / .P55 1993