Tell your friends about this item:
Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science
Gilles Dowek
Proofs and Algorithms: an Introduction to Logic and Computability - Undergraduate Topics in Computer Science
Gilles Dowek
This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc. -- as well as more advanced principles.
203 pages, 1, black & white illustrations
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | January 14, 2011 |
ISBN13 | 9780857291202 |
Publishers | Springer London Ltd |
Pages | 156 |
Dimensions | 157 × 235 × 9 mm · 244 g |