TY  - BOOK
AU  - Dowek, Gilles
TI  - Proofs and algorithms: An introduction to logic and computability   
SN  - 9780857291202
CY  - New york
ER  -