Proofs and algorithms: an introduction to logic and computability
Auteur :
Dowek, Gilles
Éditeur :
Dowek, Gilles
ISBN :
9780857291202
Date de publication :
13 janv. 2011
Dimensions :
23,4 x 15,6 x 0,9 cm
Poids :
245 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This volume 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. -- as well as more advanced principles.