Computability and logic by George S. Boolos

By:

Boolos, George S

Contributor(s):

Jeffrey, Richard C
Burgess,John P

Material type: Book

BookLanguage: English Series: ; Current publication frequency: .Publication details: New York Cambridge University Press 2007Edition: 5th edDescription: 350 p,: ill.,; 26 cmISBN:

9780521701464

Subject(s):

General principles of mathematics
Computable functions
Recursive functions
Logic
Information technology
Computer science

DDC classification:

511.352 BOO

LOC classification:

List(s) this item appears in: Mathematics

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	Status	Date due	Barcode
Books	IIT Gandhinagar	General	511.352 BOO (Browse shelf(Opens below))	Available		022378

Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Print
Add to your cart (remove)
Send to device
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)