Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Gallier, Jean H.
ISBN 10: 0486780821 ISBN 13: 9780486780825
Verlag: Dover Publications, 2015
Gebraucht
paperback
Verkäufer
Giant Giant, Reston, VA, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 6. Dezember 2022
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Very Good condition.Crisp pages. Clean cover and pages. Book shows minimal shelf wear. No highlighting/marking. Not Satisfied? Contact us to get a refund. Bestandsnummer des Verkäufers BRG-42_3_497
Inhaltsangabe:
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.
Über die Autorin bzw. den Autor: Jean H. Gallier is a Professor in the Department of Computer and Information Science at the University of Pennsylvania. His other books include A Guide to the Classification Theorem for Compact Surfaces, Geometric Methods and Applications for Computer Science and Engineering, and Discrete Mathematics.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Logic for Computer Science: Foundations of ...
Verlag: Dover Publications
Erscheinungsdatum: 2015
Einband: paperback
Zustand: UsedVeryGood
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Logic for Computer Science: Foundations of Automatic Theorem Proving
Anbieter: Book Express (NZ), Shannon, Neuseeland
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Very Good. 528 pages. This advanced text for undergraduate and graduate students introduces mathema tical logic with an emphasis on proof theory and procedures for algorithmic cons truction of formal proofs. The self-contained treatment is also useful for compu. Bestandsnummer des Verkäufers 5649x
Gebraucht kaufen
EUR 7,59
EUR 26,40 shipping
Versand von Neuseeland nach USA
Versand von Neuseeland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition
Verlag:
Dover Publications, Mineola , NY, 2015
ISBN 10: 0486780821
ISBN 13: 9780486780825
Gebraucht
Hardcover
Anbieter: Catnap Books, Cobleskill, NY, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Good+. Advanced text introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Nice, clean copy. ; Sm4t0; 496 pages. Bestandsnummer des Verkäufers 22993
Gebraucht kaufen
EUR 13,16
EUR 3,41 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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! Bestandsnummer des Verkäufers S_437539460
Gebraucht kaufen
EUR 15,46
EUR 3,19 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Anbieter: Goodwill Southern California, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: acceptable. Bestandsnummer des Verkäufers 4CJULU001W4G
Gebraucht kaufen
EUR 15,46
EUR 2,55 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Anbieter: Toscana Books, AUSTIN, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Bestandsnummer des Verkäufers Scanned0486780821
Neu kaufen
EUR 41,56
EUR 3,66 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic for Computer Science: Foundations of Automatic Theorem Proving
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock. Bestandsnummer des Verkäufers 0486780821
Neu kaufen
EUR 53,19
EUR 14,24 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar