Dowek

Principles of Programming Languages (Undergraduate Topics in Computer Science)

By Dowek, Gilles

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

By Dowek, Gilles