- Start
- Logic for Computer Science
Logic for Computer Science
Angebote / Angebote:
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.
Folgt in ca. 15 Arbeitstagen