Proofs and algorithms : an introduction to logic and computability - Dowek, Gilles, 1966-2025 (Undergraduate topics in computer science,, 2011)