Franklin

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
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy