Computability and logic.

Computability and logic.

Saved in:
Bibliographic Details
Author / Creator:Boolos, George.
Edition:5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
Imprint:Cambridge ; New York : Cambridge University Press, 2007.
Description:1 online resource (xiii, 350 pages) : illustrations
Language:English
Subject:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11826017
Hidden Bibliographic Details
Other authors / contributors:Burgess, John P., 1948-
Jeffrey, Richard C.
ISBN:9780511649448
0511649444
9780511804076
0511804075
9780511366055
0511366051
9786612389924
6612389923
1107086507
9781107086500
1107183057
9781107183056
0511573979
9780511573972
9780521877527
0521877520
9780521701464
0521701465
Notes:Includes bibliographical references (page 341) and index.
English.
Summary: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.
Other form:Print version: Boolos, George. Computability and logic. 5th ed. Cambridge ; New York : Cambridge University Press, 2007 9780521877527

Similar Items