Proofs and Algorithms
Gilles Dowek
Broschiertes Buch

Proofs and Algorithms

An Introduction to Logic and Computability

Versandfertig in 6-10 Tagen
26,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
13 °P sammeln!
Proofs and Algorithms provides an introduction to the fundamental concepts of logic. Written for those new to the field, the text covers both elementary topics -- proofs, models, recursive functions, etc. -- to more advanced principles.