Computability and logic.

Author/Creator:

Boolos, George.

Edition:

4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.

Publication:

Cambridge ; New York : Cambridge University Press, 2002.

Format/Description:

Book
xi, 356 p. : ill. ; 27 cm.

Subjects:

Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.

Notes:

Includes bibliographical references (p. 348) and index.

Contributor:

Burgess, John P., 1948-
Jeffrey, Richard C.

ISBN:

0521809754
0521007585 (pbk.)

OCLC:

47755792

Web link:

Publisher description

Online:

Table of contents
http://www.loc.gov/catdir/toc/cam024/2001043302.html

Loading...