Computability and Logic

By:

George S. Boolos-John P. Burgess-Richard C. Jeffrey

Material type:

Computer fileLanguage: English Publication details: Cambridge University Press; 2007Edition: 5th ed. George S. Boolos, John P. Burgess, Richard C. JeffreyISBN:

9780521877527

Subject(s):

Machine Theory
Computable functions.,Logic, Symbolic and mathematical.,Recursive functions
COMPUTERS

Online resources:

Click here to access online

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Home library	Status	Barcode
E-BOOKS	EBOOKS-EBSCO ACADEMIC COLLECTION	Not for loan	EBB193564

There are no comments on this title.

to post a comment.

Print
Cite
Add to your cart (remove)
Unhighlight Highlight
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Central Library - Coimbatore

Computability and Logic