Computability and logic
Auteur :
Boolos, George S. / Burgess, John P. / Jeffrey, Richard C.
Éditeur :
Cambridge University Press
ISBN :
9780521701464
Date de publication :
17 sept. 2007
Dimensions :
25,4 x 17,8 x 1,9 cm
Poids :
650 g
Format :
Trade paperback (US)
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.