TY  - GEN
AU  - Dowek, Gilles
TI  - Proofs and Algorithms: An Introduction to Logic and Computability
SN  - 9780857291202
PY  - 2011///
PB  - Springer
ER  -