Buch 19 Von 19
Dover books on computer science - 9780486780825 - logic for computer science: foundations of automatic theorem proving, second edition (dover books on computer science) von gallier, jean h. (2 Ergebnisse)
Sprache: Englisch
Verlag: Dover Publications, 2015
- Softcover
Anbieter: Book Express (NZ), Shannon, NeuseelandBook Express (NZ)
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht - Gut
EUR 8,34
EUR 26,66 VersandVersand von Neuseeland nach USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Dover Pubns, 2015
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 40,83
EUR 14,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
