Introduction to the Theory of Programming Languages
Gilles Dowek
Download - Immediately Available
Format: eBook (PDF)
Proofs and Algorithms : An Introduction to Logic and Computability
Gilles Dowek
Download - Immediately Available
Format: eBook (PDF)
Computation, Proof, Machine : Mathematics Enters a New Age
Gilles Dowek
Download - Immediately Available
Format: eBook (EPUB)
Computation, Proof, Machine : Mathematics Enters a New Age
Gilles Dowek
Download - Immediately Available
Format: eBook (PDF)
Principles of Programming Languages
Gilles Dowek
Download - Immediately Available
Format: eBook (PDF)