Computability and logic
Auteur :
Boolos, George S. / Burgess, John P. / Jeffrey, Richard C.
Éditeur :
Cambridge University Press
ISBN :
9780521877527
Date de publication :
17 sept. 2007
Dimensions :
25,3 x 18,4 x 2,5 cm
Poids :
850 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.