Anbieter: World of Books (was SecondSale), Montgomery, IL, USA
EUR 12,32
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
Anbieter: HPB-Red, Dallas, TX, USA
EUR 9,04
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
EUR 23,72
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
EUR 20,54
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
EUR 18,45
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTrade Paperback. Zustand: Used Very Good.
Verlag: Springer-Verlag, New York, 1984
ISBN 10: 0387961704 ISBN 13: 9780387961705
Sprache: Englisch
Anbieter: Row By Row Bookshop, Sugar Grove, NC, USA
EUR 21,08
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbTrade Paperback. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. First U.S. Edition. A Very Good copy in yellow psaper covers. Small soil spot at the foredge, else close to as new. Book.
EUR 21,92
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. This book is in very good condition; no remainder marks. It does have some cover shelfwear. Inside pages are clean. ; Undergraduate Texts In Mathematics; 225 pages.
Anbieter: Midway Book Store (ABAA), St. Paul, MN, USA
EUR 21,96
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fine. 24.5 x 16 cm. 216pp. Bound into glossy yellow boards. Undergraduate Texts in Mathematics. Junior/senior level text devoted to a study of first-order logic and its role in the foundations of mathematics.
EUR 26,31
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Second Edition. A nice, solid copy. ; Undergraduate Texts In Mathematics; 6.4 X 1 X 9.4 inches; 289 pages.
EUR 53,87
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
EUR 56,31
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Anbieter: AproposBooks&Comics, London, Vereinigtes Königreich
EUR 41,28
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fine. 2nd Edition.
EUR 59,30
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHard Cover. Zustand: Very Good. No Jacket. (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematics', light rubbing to cover, no dj, contents clean.
EUR 62,20
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 71,87
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 75,57
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 70,01
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbZustand: New. SUPER FAST SHIPPING.
EUR 75,39
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: BennettBooksLtd, San Diego, NV, USA
EUR 76,46
Währung umrechnenAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 68,66
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
EUR 85,21
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: New York : Springer-Verlag, 1994
ISBN 10: 0387942580 ISBN 13: 9780387942582
Sprache: Englisch
Anbieter: Klondyke, Almere, Niederlande
EUR 33,00
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Original boards, illustrated with numerous equations, 8vo. Undergraduate Texts in Mathematics.; Name in pen on title page.
EUR 68,65
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Verlag: Springer-Verlag New York Inc., New York, NY, 1994
ISBN 10: 0387942580 ISBN 13: 9780387942582
Sprache: Englisch
Anbieter: Grand Eagle Retail, Mason, OH, USA
EUR 88,27
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: new. Hardcover. 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. 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). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
EUR 72,98
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
EUR 88,25
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 308 2nd Corrected Printing.
Anbieter: Palimpsest Scholarly Books & Services, Brooktondale, NY, USA
Erstausgabe
EUR 87,85
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Fine. 1st Edition. Second printing. Hardcover volume, measuring approximately 6.5" x 9.75", is bound in glossy yellow paper spine and boards. Book shows very light shelfwear. Binding is firm. Stamp of the Department of Mathematics, Cornell University appears on front and rear flyleaves. Interior is otherwise clean and bright. ix/216 pages. "A self-contained introduction to first-order logic includes an exposition of topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindstrom's theorem on the maximality of first-order logic).".
EUR 74,92
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbZustand: 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. It covers several adva.
Verlag: Springer New York, Springer US Jun 1994, 1994
ISBN 10: 0387942580 ISBN 13: 9780387942582
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
EUR 64,15
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbBuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.
Verlag: Springer New York, Springer US, 1994
ISBN 10: 0387942580 ISBN 13: 9780387942582
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 69,11
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbBuch. Zustand: Neu. 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.