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.

Bibliographic Details

Main Author:	Boolos, George (Author)
Other Authors:	Burgess, John P., 1948-, Jeffrey, Richard C.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2002.
Edition:	4th ed. /
Subjects:	Computable functions. Recursive functions. Logic, Symbolic and mathematical. Fonctions calculables. Fonctions récursives. Logique symbolique et mathématique. Logica. Berekenbaarheid.
Online Access:	Table of contents Publisher description