Logic for Computer Science
Foundations Of Automatic Theorem Proving, Second Edition
- Editore:
Dover Publications Inc.
- Collana:
- Dover Books on Computer Science
- EAN:
9780486780825
- ISBN:
0486780821
- Pagine:
- 544
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Logic for Computer Science
Advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Self-contained treatment; useful for computer scientists. 2003 edition.
Fuori catalogo - Non ordinabile
€ 24.23
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti