Proofs and Algorithms - An Introduction to Logic and Computability
- Författare
- Gilles. Dowek
- (Gilles Dowek.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London | 2011 | Storbritannien, London | 978-0-85729-121-9 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer London | 2011 | Storbritannien, London | 978-0-85729-121-9 |