Boolos, G. S.
Computability and Logic 5th.edition - Cambridge Cambridge University Press 2007 - xiii, 350p.
978-0-521-87752-7
Computability and Logic 5th.edition - Cambridge Cambridge University Press 2007 - xiii, 350p.
978-0-521-87752-7