000			02478cam a2200457 a 4500
001			ocm28378500
003			OCoLC
005			20251028093234.0
008			930611s1993 inu b 001 0 eng
010			_a 93014456
035			_a(Sirsi) i9780872201828
040			_aDLC _beng _cDLC _dUKM _dBAKER _dNLGGC _dBTCTA _dYDXCP _dYHM _dDEBBG _dBDX _dGBVCP _dVF$
015			_aGB94-65131
016	7		_a087-22018 _2uk
016	7		_ab94-65131 _2uk
019			_a31011341 _a59947240
020			_a0872201821 (alk. paper)
020			_a9780872201828 (alk. paper)
020			_a0872201813 (pbk. : alk. paper)
020			_a9780872201811 (pbk. : alk. paper)
035			_a(OCoLC)28378500 _z(OCoLC)31011341 _z(OCoLC)59947240
050	0	0	_aBC 128 _b.P55 1993
049			_aVF$A
245	0	2	_aA philosophical companion to first-order logic / _cedited, with an overview, by R.I.G. Hughes.
260			_aIndianapolis : _bHackett Pub. Co., _cc1993.
300			_aviii, 309 p. ; _c22 cm.
504			_aIncludes bibliographical references (p. 291-302) and index.
505	0		_aIntroduction / 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.
650		0	_aFirst-order logic.
653	0		_aLogic
700	1		_aHughes, R. I. G.
856	4	2	_yInhaltsverzeichnis _uhttp://www.gbv.de/dms/bowker/toc/9780872201811.pdf _mV:DE-601;Bowker _3Inhaltsverzeichnis
856	4	2	_yZentralblatt MATH _uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0827.03001 _mV:DE-601;ZBM _3Inhaltstext
938			_aBaker & Taylor _bBKTY _c16.95 _d16.95 _i0872201813 _n0002344133 _sactive
938			_aBaker & Taylor _bBKTY _c39.95 _d39.95 _i0872201821 _n0002344132 _sactive
938			_aBaker and Taylor _bBTCP _n93014456
938			_aYBP Library Services _bYANK _n902072
938			_aBrodart _bBROD _n45587728 _c$16.95
994			_aC0 _bVF$
999			_c131734 _d131734