ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
[Goring-By-Sea, WS, United Kingdom] [Publication Year: 1994]

Springer 1994 2nd 1994. Corr. 2nd Printing ed. Hardcover Fair Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!

Springer, Date: 1994-06-10. Hardcover. Good. 1994. Springer ISBN 0387942580 9780387942582 [US]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer New York] Hardcover Druck auf Anfrage Neuware - Printed after ordering - What is a mathematical proof How can proofs be justified Are there limitations to provability To what extent can machines carry out mathe matical proofs Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs). A short digression into model theory will help us to analyze the expres sive power of the first-order language, and it will turn out that there are certain deficiencies. For example, the first-order language does not allow the formulation of an adequate axiom system for arithmetic or analysis. On the other hand, this difficulty can be overcome--even in the framework of first-order logic-by developing mathematics in set-theoretic terms. We explain the prerequisites from set theory necessary for this purpose and then treat the subtle relation between logic and set theory in a thorough manner.
[Einbeck, Germany] [Publication Year: ...
Show/Hide image

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
[Berlin, Germany] [Publication Year: 1994]

Hardback. New. This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. ISBN 0387942580 9780387942582 [GB]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover
[Houston, TX, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover Ships quickly. Almost like new. Unmarked. No labels. No creased pages. Minimal shelf/reading wear. Orphans Treasure Box sells books to raise money for orphans and vulnerable kids.
[Champaign, IL, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover
[Moncks Corner, SC, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover Gently used book with ongoing seller support until you're fully satisfied with your purchase.
[Pflugerville, TX, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover New
[Long Beach, CA, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover
[Humble, TX, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover New. Fast Shipping and good customer service
[Fayetteville, TX, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover
[Denver, CO, U.S.A.] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer US] Hardcover Gepflegter, sauberer Zustand. 2. Auflage. 1275021/2
[Trebbin, Germany] [Publication Year: 1994]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer, New York] Hardcover (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematics', light rubbing to cover, no dj, contents clean.
[Oil City, PA, U.S.A.] [Publication Year: 1996]

ISBN10: 0387942580, ISBN13: 9780387942582, [publisher: Springer] Hardcover Near fine hardcover. ; Undergraduate Texts In Mathematics; 9.3 X 6.3 X 0.7 inches
[Northridge, CA, U.S.A.] [Publication Year: 1994]
Show/Hide image

Springer 1994-06-10 2nd 1994. Corr. 2nd Printing ed. hardcover Fair Size: 6x1x9;

Springer 1994-06-10 2nd Hardcover Very Good Size: 9x7x0; Ships quickly. Almost like new. Unmarked. No labels. No creased pages. Minimal shelf/reading wear. Orphans Treasure Box sells books to raise money for orphans and vulnerable kids.

Springer 1994-06-10 2nd 1994. Corr. 2nd Printing ed. Hardcover Good USED-VARIOUS AMOUNTS OF WEAR-POSSIBLE HIGHLIGHTS-WE CANNOT GUARANTEE SUPPLEMENTS SUCH AS CD, ACCESS CODE, OR INFO TRAC.

New York, NY Springer 1994 2nd 1994. Corr. 2nd Printing ed. Hard cover New. Sewn binding. Cloth over boards. 291 p. Contains: Unspecified. Undergraduate Texts in Mathematics.

New York, NY Springer 1994 2nd 1994. Corr. 2nd Printing ed. Hard cover New. Sewn binding. Cloth over boards. 291 p. Contains: Unspecified. Undergraduate Texts in Mathematics.

Springer, Date: 1994-06-10. hardcover. Acceptable. 6x1x9. 1994. Springer ISBN 0387942580 9780387942582 [US]

Springer, Date: 1994-06-10. 2nd. Hardcover. Very Good. Ships quickly. Almost like new. Unmarked. No labels. No creased pages. Minimal shelf/reading wear. Orphans Treasure Box sells books to raise money for orphans and vulnerable kids. 1994. Springer ISBN 0387942580 9780387942582 [US]

New York: Springer, Date: 1996. (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematics', light rubbing to cover, no dj, contents clean.. Hard Cover. Very Good/No Jacket. 1996. Springer ISBN 0387942580 9780387942582 [US]