H ebbinghaus (49 Ergebnisse)

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

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

Zustand: 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. Zustand: 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.

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

Taschenbuch. Zustand: 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.

Zustand: 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.…

Zustand: 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.

Zustand: New.

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

Zustand: 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.

Zustand: 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. Zustand: Good. Original boards, illustrated with numerous equations, 8vo. Undergraduate Texts in Mathematics.; Name in pen on title page.

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

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

Zustand: Used. pp. 418.

Zustand: 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.…

Softcover. Zustand: Gut. IX, 418 p. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-04406 3540156739 Sprache: Englisch Gewicht in Gramm: 1150.

Zustand: Poor. 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 poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1450grams, ISBN.…

Orig.-Halbleder. 432 Seiten, 4°. Ausgeschiedenes Bibliotheksexemplar (vord. Vorsatz und Titelblatt gestempelt), Einband mit starken Gebrauchsspuren : berieben, bestoßen und mit Fehlstellen. Papierbedingt angebräunt, stellenweise Bleistiftanstreichungen. Trotz der angegebenen Gebrauchsspuren absolut lesbares Exemplar.…

hardcover. Zustand: Gut. 662 Seiten; 9783540155225.3 Gewicht in Gramm: 3.

69 S. O.Broschur 8° (Einband leicht beschädigt, lichtrandig, Gebrauchsspuren; Name auf Titelblatt) Philosophische Texte Heft 1 Sprache: de.

hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

Hardcover. 3.durchg.Aufl. x, 408 p.; 26 cm. (Die Kultur der Gegenwart, hrsg. von Paul Hinneberg. Teil I ; Abteilung vi) [1. Aufl. 1907; 2. Aufl. 1908] Inhaltsverzeichnis: I. Allgemeines. Das Wesen der Philosophie, von Wilhelm Dilthey, p. 1-67 -- II. Die einzelnen Teilgebiete: 1. Logik und Erkenntnistheorie, von Alois Riehl, p. 68-97; 2. Metaphysik, von Wilhelm Wundt, p. 98-134; 3. Psychologie, von Hermann Ebbinghaus, durchgesehen von Karl Buhler, p. 135-205; 4. Philosophie der Geschichte, von Rudolf Eucken, p. 206-238; 5. Ethik, von Bruno Bauch, p. 239-275; 6. Padagogik, von Theodor Litt, p. 276-310; 7. Asthetik, von Moritz Geiger, p. 311-351; 8. Die philosophischen Stromungen der Gegenwart, von Traugott Konstantin Oesterreich, p. 352-395 -- Register, p. 396-408. Good quarter black binder's cloth, handwritten title-piece.…

Hardcover. 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).".…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Generators of the recursively enumerable degrees.- Kleene degrees of ultrafilters.- Recursion theory on strongly 2 inadmissible ordinals.- Applications of the low-basis theorem in arithmetic.- Strong reducibilities in - and -recursion theory.- Embeddings and extensions of embeddings in the r.e. tt and wtt-degrees.- An immune partition of the ordinals.- An application of 2 1 -logic to descriptive set theory.- Probabilistic machines, oracles, and quantifiers.- Minimal polynomial degrees of nonrecursive sets.- Genericity for recursively enumerable sets.- Sets of everywhere singular functions.- Measure, 1 0 -classes and complete extensions of PA.- On the ordering of classes in high/low hierarchies.- Generic objects in recursion theory.- The structure of m-degrees.- Some open questions in recursion theory.- Absolute type 2 objects.- Recursion theoretic aspects of the dual ramsey theorem.- Reflection and the priority method in E-recursion theory.- Subrecursive ordinals. …

Org.-Hardcover. Quart, XLV, 617 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. III] - ENGLISH: In-quarto, xlv, 617 pp., clean, fresh copy. ISBN 3540155228 UND 0387155228. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. III] - ENGLISH: In-quarto, xlv, 617 pp., clean, fresh copy. ISBN 3540155228 UND 0387155228. 3000 g.…

Paperback. Zustand: Brand New. 664 pages. 11.10x8.30x1.40 inches. In Stock.

140 Seiten Softcover, Ecken/Kanten bestossen, Einband berieben und fleckig, Eteikett mit Katalognummer, ehemaliges Bibliotheksbuch, bestempelt, 1 und letzte Seite eingerissen, mäßiger Zustand Sprache: Deutsch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.…