机读格式显示(MARC)
- 000 02019nam a2200361 a 4500
- 008 031229s2004 paua b 000 0 eng
- 020 __ |a 0822958473 (alk. paper)
- 020 __ |a 9780822958475 (alk. paper)
- 040 __ |a DLC |c DLC |d PGC |d BAKER |d BTCTA |d YDXCP |d OCLCG |d IG#
- 050 00 |a BC135 |b .H6913 2004
- 099 __ |a CAL 022009165640
- 100 1_ |a Hoyningen-Huene, Paul, |d 1946-
- 240 10 |a Formale Logik. |l English
- 245 10 |a Formal logic : |b a philosophical approach / |c Paul Hoyningen-Huene ; translated by Alex Levine.
- 260 __ |a Pittsburgh, Pa. : |b University of Pittsburgh Press, |c c2004.
- 300 __ |a xi, 254 p. : |b ill. ; |c 21 cm.
- 504 __ |a Includes bibliographical references (p. 253-254).
- 505 0_ |a 1. Introduction. An example -- Preliminary remarks on the notion of logical form -- Validity and soundness -- Statements, primitive statements, and compound statements -- 2. Statement logic. The symbol of statement logic -- The metalogic of statement logic -- Review and overview -- 3. Predicate logic. The symbol system of predicate logic -- The metalogic of predicate logic -- Review and overview -- 4. The mathematical approach to statement logic. On mathematical approaches in general -- The syntax of statement logic -- Semantics : model theory -- Proof theory -- Review --Prospects for predicate logic -- Appendix 1. An additional proof -- Appendix 2. Solutions to the exercises / by Christopher von B鑥low and Alex Levine -- Appendix 3. Suggestions for further reading..
- 650 _0 |a Logic, Symbolic and mathematical |v Textbooks.
- 856 41 |3 Table of contents |u http://www.loc.gov/catdir/toc/ecip0412/2003027966.html
- 950 __ |a SCNU |f B812/H867
- 999 __ |t C |A zxq |a 20100610 10:32:51 |M zxq |m 20100707 09:32:47 |G zxq |g 20100707 09:32:51
- 907 __ |a SCNU |f B812/H867