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:	xiii, 350 p. : ill. ; 26 cm.
Language:	English
Subject:	Computable functions. Recursive functions. Logic, Symbolic and mathematical. Computable functions. Logic, Symbolic and mathematical. Recursive functions.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/6616006

Hidden Bibliographic Details
Other authors / contributors:	Burgess, John P., 1948- Jeffrey, Richard C.
ISBN:	9780521877527 (hardback) 0521877520 (hardback) 9780521701464 (pbk.) 0521701465 (pbk.)
Notes:	Includes bibliographical references (p. 341) and index.

Eckhart

Loading map link

Holdings details from Eckhart
Call Number:	QA9.59 .B66 2007
c.1	Available Loan period: standard loan Request for Pickup Need help? - Ask a Librarian