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; such as Godel's incompleteness theorems; but also a Buy now the item at
ONLY: 56.95

![]()