Proofs and Algorithms

Proofs and Algorithms: An Introduction to Logic and Computability is geschreven door Gilles Dowek en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Proofs and Algorithms zijn 9780857291219, 0857291211 en de ISBN's voor gedrukt materiaal zijn 9780857291202, 0857291203. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Proofs and Algorithms: An Introduction to Logic and Computability is geschreven door Gilles Dowek en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Proofs and Algorithms zijn 9780857291219, 0857291211 en de ISBN's voor gedrukt materiaal zijn 9780857291202, 0857291203. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.