Edité par BI-Wissenschaftsverlag, Mannheim/Leipzig/Wien/Zürich, 1992
ISBN 10 : 3411156031 ISBN 13 : 9783411156030
Langue: allemand
Vendeur : Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Allemagne
EUR 4,50
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : 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.
Edité par Spektrum, Akad. Verl., Heidelberg ; Berlin ; Oxford, 1996
ISBN 10 : 3827401305 ISBN 13 : 9783827401304
Langue: allemand
Vendeur : Gebrauchtbücherlogistik H.J. Lauterbach, Gummersbach, NRW, Allemagne
Quantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : 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.
EUR 44,97
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 313 3rd Edition NO-PA16APR2015-KAP.
EUR 54,34
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
EUR 44,66
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 313.
EUR 46,65
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 313.
EUR 55,81
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
EUR 56,17
Autre deviseQuantité disponible : 5 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 59,79
Autre deviseQuantité disponible : 3 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 54,58
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,15
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In English.
EUR 63,03
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 60,23
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. In English.
Vendeur : Books Puddle, New York, NY, Etats-Unis
EUR 60,92
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
EUR 70,61
Autre deviseQuantité disponible : 5 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Vendeur : Majestic Books, Hounslow, Royaume-Uni
EUR 61,46
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
EUR 62,85
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 41,69
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
EUR 75,29
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
EUR 58,60
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer International Publishing, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 65,75
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
Edité par Springer Nature Switzerland AG, CH, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 74,91
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : New. Third Edition 2021. This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.
EUR 61
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New.
EUR 64,24
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Springer Nature Switzerland AG, CH, 2021
ISBN 10 : 3030738388 ISBN 13 : 9783030738389
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 79,99
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardback. Etat : New. Third Edition 2021.
EUR 65,55
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : online-buch-de, Dozwil, Suisse
EUR 38
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback Oct 15, 2018. Etat : gebraucht; wie neu. 6. Auflage 2018, ungebraucht.
Vendeur : California Books, Miami, FL, Etats-Unis
EUR 49,30
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 47,86
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 44,39
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.