Books by author
Dowek
Proofs and algorithms: introduction to logic and computability theory
2011 · ENGLISH · PDF
View details