wolfgang rautenberg (57 Ergebnisse)

Zustand: New. pp. xvii + 256 Illus.

OBroschur. Zustand: Tadellos. Premiere 7. Oktober 1981. 16 S., 1 lose Bl. Stab u. Besetzung, geheft. OBroschur, gr.8°. Titel u. 4 ganzs. Zeichn. v. Rolf Kuhrt. Mit kurzen OBeiträgen v. Fritz Bennewitz u. Franz Havemann. Weit. Texte v. Goethe, Heine, Brecht u. Max Steenbeck. Dazu Zeittafel zur Geschichte des Faust-Stoffes bis Goethe. Einleger etwas gebräunt. Schönes, tadelloses Exemplar. Broschüre.

Zustand: Good. Paperback, illustrated with numerous equations, 8vo. Universitext.; Name in pen on title page.

Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

8° quer, Broschiert. Zustand: Gut. 30 Seiten, Zustand gut Sprache: Deutsch Gewicht in Gramm: 200.

179 S., Gbd., 4° Einband leicht berieben. Bücher.

Paperback. Zustand: Fine.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations.

Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 RAU 9780387302942 Sprache: Englisch Gewicht in Gramm: 550.

Zustand: New. In.

Zustand: New. In.

Broschiert, Gr.-8°. Zustand: Gut. 1995. 262 S. Das Buch ist in gutem, sauberen Zustand. Einband minimal berieben / fleckig. Ecken und Kanten leicht bestossen. Sonst sauberes und wohlerhaltenes Exemplar. -----Inhalt:. Dieses Lehrbuch enthält über den Stoff einer einsemestrigen Einführungsvorlesung hinaus auch Material für eine Vorlesung über Logik für Informatiker (speziell logisches Programmieren), sowie in begrenztem Maße auch Basismaterial für eine Fortsetzung der Einführung in die Spezialrichtungen Modelltheorie, Rekursionstheorie und Beweistheorie. Für eine gekürzte Einführung in die Mathematische Logik kombiniert mit einer Einführung in die Mengenlehre empfiehlt sich für den logischen Teil der Stoff der ersten drei Kapitel.Unabhängig von Vorlesungskonzepten ist das Buch auch zum Selbststudium geeignet. Für einen Großteil der Übungen gibt es Lösungshinweise. Außer einer gewissen Schulung im mathematischen Schließen sind spezielle Vorkenntnisse nicht erforderlich; lediglich für Teile der Modelltheorie wären algebraische Grundkenntnisse wünschenswert. Die Verzeichnisse (Stichwörter, Symbole, Literatur) sind ausführlich und kommen der selbständigen Erarbeitung des Stoffes sehr entgegen.Das Buch ist inhaltsreich und flüssig geschrieben. Aus der Literatur bekannte Beweise wurden oft erheblich vereinfacht. Auch werden viele interessante Details präsentiert, die in der Lehrbuchliteratur nur schwer zu finden sind. Beispiele: Fragmente der 1. Stufe (etwa der Birkhoffsche Vollständigkeitssatz) und die Solovayschen Vollständigkeitssätze über Selbstreferenz. Die Gödelschen Unvollständigkeitssätze und ihr Umfeld werden besonders ausführlich behandelt. Nur gelegentlich werden weiterführende Betrachtungen angestellt, die mit Verweisen auf entsprechende Literaturstellen abschließen. ISBN: 9783528067540 Wir senden umgehend mit beiliegender MwSt.Rechnung. Sprache: Deutsch Gewicht in Gramm: 422.

21 x 15. GF D. Gaier, T. Timmesfeld. 36 Seiten. OKart. Sehr guter Zustand. Sprache: Deutsch Gewicht in Gramm: 200.

Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 OME Vol.1 9783540173212 Sprache: Englisch Gewicht in Gramm: 1445.

Zustand: New. In.

Paperback. Zustand: Brand New. 508 pages. 11.00x8.30x1.18 inches. In Stock.

Paperback. Zustand: Brand New. 528 pages. 11.00x8.30x0.90 inches. In Stock.

Gebundene Ausgabe. Zustand: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt - Neo-romantisches Streben und sisyphoshafte Anstrengung charakterisierten die Aktion, deren scheinbares Ziel es war, rechtzeitig die Biennale von Venedig, zu erreichen. Unter großem Aufsehen sollte das Boot in der Lagune zu Wasser gelassen werden, um schließlich in einer triumphalen Fahrt durch den Canal Grande den Sieg der Kunst über die Natur zu feiern. Im Zentrum des Buches stehen die reichhaltig bebilderten Tagebuchaufzeichnungen der Künstler, die einen authentischen Einblick in die Gefühlswelten, Eindrücke von der täglichen Mühsal und die Erfolgsmomente während der Expedition schildern. Begleitet werden sie von inspirierenden Texten von Marcus A. Friedrich, Arne Rautenberg und Christian Schoen.

Org.-Hardcover. Quart, XXXVII, 469 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. II] - ENGLISH: In-quarto, xxxvii, 469 pp., clean, fresh copy. ISBN 354015521X UND 038715521X. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. II] - ENGLISH: In-quarto, xxxvii, 469 pp., clean, fresh copy. ISBN 354015521X UND 038715521X. 2000 g.

Zustand: as new. vendeur professionnel. envoi soigne en 24/48h.

Zustand: New. In.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Gert H. Muller 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 II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Gert H. Muller 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 II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.

gebundene Ausg. Zustand: Wie neu. 1 Aufl. 179 S.; zahlr Abb. (teilw. in Farbe) neuweriger Zustand, original eingeschweißt Sprache: Deutsch Gewicht in Gramm: 898.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 508 | Sprache: Englisch | Produktart: Bücher | Gert H. Muller 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 II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra.

Softcover. xii, 250 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03713 3528067543 Sprache: Deutsch Gewicht in Gramm: 550.

Paperback. Zustand: Brand New. 3rd edition. 319 pages. 9.25x6.50x0.75 inches. In Stock.

Taschenbuch. Zustand: Neu. A Concise Introduction to Mathematical Logic | Wolfgang Rautenberg | Taschenbuch | Universitext | xxii | Englisch | 2009 | Humana | EAN 9781441912206 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy.This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as a graduate text, the first three chapters can easily be read by undergraduates interested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications of formalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view towards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and related topics.The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gödel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text. Each section of the seven chapters ends with exercises some of which of importance for the text itself. There are hints to most of the exercises in a separate file Solution Hints to the Exercises which is not part of the book but is available from the author's website.

Softcover. Zustand: Sehr gut. Stuttgart, Klett (1979). gr.8°. 25 Abb. 181 S. OKart. - Klett Studienbücher Mathematik.- Durchgehend leicht gebräunt.