Are you sure you want to delete this address?
Computability And Logic
Paperback Edition: 1
This fifth edition of Computability and Logic covers not just the staple topics of an intermediate logic course such as Godel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
Publisher : Cambridge University Press
Subjects: Non-fiction, Science And Technology, Maths, Mathematical Logic