Computability and logic / George S. Boolos, Richard C. Jeffrey.

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge ; New York : Cambridge University Press, 1989.Edition: 3rd edDescription: x, 304 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
General Lending	Carlow Campus Library Store - Ask Library Staff	511.3 (Browse shelf(Opens below))	1	Available		23067

Includes bibliographical references and index.

43.12