Verlag: Spektrum, Akad. Verl., Heidelberg ; Berlin ; Oxford, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Deutschland
Broschiert. Zustand: Sehr gut. 4. Aufl. 21cm; X, 309 S. Broschiert; Zustand: Sehr Gut, eher ungelesen; Besitzerstempel; * Die Photos sind original von uns erstellt worden, u.a. erkennbar an einem kleinen weißen Stück Papier im oberen Schnitt. Ab und an verwenden Suchmaschinen Verlagsphotos, bei den Portalen selbst, werden aber nur unsere Originalphotos gezeigt.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 44,87
Anzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 313.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 61,19
Anzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
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.
Verlag: Springer International Publishing, 2021
ISBN 10: 3030738388 ISBN 13: 9783030738389
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
Zustand: New. Explores additional important decidability results in this thoroughly updated new editionIntroduces mathematical logic by analyzing foundational questions on proofs and provability in mathematicsHighlights the capabilities and limitations o.
Verlag: Duden ein Imprint von Cornelsen Verlag GmbH, 1992
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: Gerald Wollermann, Bad Vilbel, Deutschland
Taschenbuch. Zustand: Gut. 3., vollst. überarb. u. erw. 338 S. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Deutsch Gewicht in Gramm: 381.
Verlag: Springer Berlin Heidelberg, 2005
ISBN 10: 3540287876 ISBN 13: 9783540287872
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
EUR 207,89
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New. Explores connections between axiomatizability of classes of finite structures and their complexity with respect to time and space boundsIncludes important logics: fixed-point logics, transitive closure logics, and also certain infinitary la.
Verlag: Spektrum Akademischer Verlag, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: book-link, Nufringen, BW, Deutschland
paperback. Zustand: Sehr gut. Seiten; M24-09-O-37-VG Sprache: Deutsch Gewicht in Gramm: 500.
Verlag: Springer Nature, 2021
ISBN 10: 3030738388 ISBN 13: 9783030738389
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 71,56
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 3rd edition. 304 pages. 9.50x6.25x1.00 inches. In Stock.
Paperback Oct 15, 2018. Zustand: gebraucht; wie neu. 6. Auflage 2018, ungebraucht.
Verlag: Spektrum Akademischer Verlag Gmbh, 2018
ISBN 10: 3662580284 ISBN 13: 9783662580288
Sprache: Deutsch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 65,56
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 6th edition. 376 pages. German language. 8.27x5.83x0.90 inches. In Stock.
Verlag: Springer Berlin Heidelberg, 2018
ISBN 10: 3662580284 ISBN 13: 9783662580288
Sprache: Deutsch
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. DIE fundierte deutschsprachige Einfuehrung in die mathematische LogikGut verstaendlich und mit vielen Aufgaben inkl. LoesungshinweisenIn der Neuauflage didaktisch ueberarbeitet und inhaltlich erweitert.
Verlag: Spektrum Akademischer Verlag, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: Der-Philo-soph, Viersen, NRW, Deutschland
8° Broschiert. Zustand: Sehr gut. 4. Sehr schönes, innen wie außen sauberes Exemplar. 320 S. Deutsch 550g.
Verlag: BI-Wissenschaftsverlag, Mannheim/Leipzig/Wien/Zürich, 1992
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: HPI, Inhaber Uwe Hammermüller, Herzebrock-Clarholz, Deutschland
Softcover. Zustand: Gut. Dieses Buch bietet eine umfassende Einführung in die mathematische Logik. Es behandelt zentrale Themen wie den Gödel\ schen Vollständigkeitssatz und die Formulierung mathematischer Aussagen in der Sprache erster Stufe. Die Autoren bieten sowohl theoretische Grundlagen als auch praktische Anwendungen, insbesondere im Bereich der Informatik. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. Stichworte: Genres: Wissenschaft, Mathematik, Logik; Schlagworte: mathematische Logik, Beweis, Theorie, Mathematik, Computer, Wissenschaft, Einführung, Logik-Programmierung, Beweiskraft, Universität. 338 Seiten Deutsch 374g.
Verlag: Spektrum Akademischer Verlag, 1996
ISBN 10: 3827401305 ISBN 13: 9783827401304
Sprache: Deutsch
Anbieter: medimops, Berlin, Deutschland
Zustand: good. 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.
Verlag: BI-Wissenschaftsverlag, Mannheim/Leipzig/Wien/Zürich, 1992
ISBN 10: 3411156031 ISBN 13: 9783411156030
Sprache: Deutsch
Anbieter: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Deutschland
Softcover. Zustand: Gut. Dieses Buch bietet eine umfassende Einführung in die mathematische Logik. Es behandelt zentrale Themen wie den Gödel\ schen Vollständigkeitssatz und die Formulierung mathematischer Aussagen in der Sprache erster Stufe. Die Autoren bieten sowohl theoretische Grundlagen als auch praktische Anwendungen, insbesondere im Bereich der Informatik. Zustand: Einband mit stärkeren Gebrauchsspuren, Seiten geringfügig gebräunt, insgesamt GUTER Zustand. Stichworte: Genres: Wissenschaft, Mathematik, Logik; Schlagworte: mathematische Logik, Beweis, Theorie, Mathematik, Computer, Wissenschaft, Einführung, Logik-Programmierung, Beweiskraft, Universität. 338 Seiten Deutsch 374g.