459:-
Uppskattad leveranstid 11-21 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9780486780825
- Språk: Engelska
- Antal sidor: 544
- Utgivningsdatum: 2015-06-26
- Förlag: Dover Publications Inc.