Dowek, Gilles
Proofs and algorithms An introduction to logic and computability - New york Springer 2011 - 155 - Undergraduate topics in computer science .
9780857291202
681.3 DOW
Proofs and algorithms An introduction to logic and computability - New york Springer 2011 - 155 - Undergraduate topics in computer science .
9780857291202
681.3 DOW