Computability and logic /

Computability and logic /

Saved in:

Bibliographic Details
Author / Creator:	Boolos, George
Edition:	3rd ed.
Imprint:	Cambridge [England] ; New York : Cambridge University Press, 1989.
Description:	x, 304 p. : ill. ; 24 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/986722

Hidden Bibliographic Details
Other authors / contributors:	Jeffrey, Richard C.
ISBN:	052138026X 0521389232 (pbk.)
Notes:	Includes bibliographical references and index.

Eckhart

Loading map link

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