Ebbinghaus H (95 results)

Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Condition: good.

Condition: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear.

Paperback. Condition: Good. 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.…

Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Taschenbuch. Condition: Gut. 168 Seiten Papierqualität und Alter führten zu einer Nachdunklung der Seiten und der Buchschnitt ist angestaubt. Im Übrigen ist das Taschenbuch in einem guten Zustand. Sprache: Deutsch Gewicht in Gramm: 150.

Paperback. Condition: Good. 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.…

Paperback. Condition: 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.

Hardcover. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Trade Paperback. Condition: Used Very Good.

Taschenbuch. Condition: Gut. 140 Seiten, Papierqualität und Alter führten zu einer Nachdunklung der Seiten und der Buchschnitt ist angebräunt. Im übrigen ist das Taschenbuch in einem guten Zustand. Sprache: Deutsch Gewicht in Gramm: 110.

Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Book contains pencil markings. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,250grams, ISBN.…

Condition: Fair. [ No Hassle 30 Day Returns ][ Ships Daily ] [ Underlining/Highlighting: NONE ] [ Writing: NONE ] [ Edition: Second ] Publisher: Springer Pub Date: 12/19/1990 Binding: Paperback Pages: 391 Second edition.

Paperback. Condition: 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.

Condition: Fine. 416 pp., Paperback, fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

Condition: New.

Couverture souple. Condition: Bon. EBBINGHAUS (H.-D.), FLUM (J.), THOMAS (W.). Einführung in die mathematische Logik. Darmstadt, 1978, in-8°, br., texte dactylographié.

Soft cover. Condition: Good. No jacket. Cover is lightly worn, particularly on corners and back cover. Spine is sunned, affecting readability of some text. Binding is tight and inside is clean and unmarked.

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: New. pp. 432.

Condition: New. pp. 432 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Softcover. Condition: Good. Original boards, illustrated with numerous equations, 8vo. Undergraduate Texts in Mathematics.; Name in pen on title page.

Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.

Condition: New. pp. 432.

3. Aufl., durchges. v. Ernst Dürr. Gr.-8°. Mit 18 Textfiguren. 206 S. OLwd. - Mit schwachen Bleistiftanstreichungen, StaV., sonst gutes Ex. 1.

Condition: Used. pp. 418.

Condition: New.

Hardcover. Condition: Fine. 2nd Edition.

Condition: Good. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1500grams, ISBN.…