TY  - GEN
AU  - Gilles,Dowek
TI  - Proof and algorithms : an introduction to logic and computability
U1  - 005.131 
PY  - 2011///
CY  - London
PB  - Springer
ER  -