Proofs and Algorithms
An Introduction to Logic and Computability
Edición de la obra Proofs and Algorithms
| Autor | Gilles Dowek |
|---|---|
| Editorial | Springer-Verlag London Limited |
| Fecha de publicación | 2011 |
| Lugar | London |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9780857291202, 9780857291219 |
| LCCN | 2011282450 |
| Serie | Undergraduate Topics in Computer Science |
| Número de Cutter | D746p |