Computability and logic.
This fourth edition of 'Computability and Logic' covers not just the staple topics of an intermediate logic course such as Gödel's incompleteness theorems, but also optional topics that include Turing's theory of computability and Ramsey's theorem.
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2002.
|
| Edition: | 4th ed. / |
| Subjects: | |
| Online Access: | Table of contents Publisher description |
Search Result 1
Search Result 2
Search Result 3
Search Result 4
