9780486780825 - logic for computer science: foundations of automatic theorem proving, second edition (dover books on computer science) von gallier, jean h. (2 Ergebnisse)
- Weitere Bilder
Sprache: Englisch
Verlag: Dover Publications, 2015
- Softcover
Anbieter: Book Express (NZ), Shannon, NeuseelandBook Express (NZ)
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 8,38
EUR 27,25 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 54,75
EUR 14,64 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.
