Reihe Undergraduate Topics in Computer ScienceGilles Dowek × Proofs and AlgorithmsAn Introduction to Logic and ComputabilityGilles DowekSpringer LondonSoftcover201137,40 € Proofs and AlgorithmsAn Introduction to Logic and ComputabilityGilles DowekSpringer LondoneBook2011 Introduction to the Theory of Programming Languages Gilles DowekSpringer LondonSoftcover201037,40 € Introduction to the Theory of Programming Languages Gilles DowekSpringer LondoneBook201036,99 € Principles of Programming Languages Gilles DowekSpringer LondoneBook2009 Principles of Programming Languages Gilles DowekSpringer LondonSoftcover200935,30 €