Normal view MARC view ISBD view

Computability and logic / George Boolos, Richard Jeffrey.

TextPublication details: Cambridge [Eng.] ; New York : Cambridge University Press, 1980Edition: 2d edDescription: x, 285 p. ; 24 cmISBN: 0521299675 (pbk.); 0521234794Subject(s): Computable functions | Recursive functions | Logic, Symbolic and mathematical | MathematicsDDC classification: 511.3BOO LOC classification: QA9.59 | .B66 1980

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Main Library Main Library Pure Sciences	NFIC	511.3BOO (Browse shelf (Opens below))	1	Available		6816

Issued with various printing dates.

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.