Computability and logic

By:

Material type: Text

TextPublication details: New york Cambridge university press 2007.Edition: 5th ediSubject(s):

DDC classification:

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	Call number	Status	Date due	Barcode
Books	Preservation, Conservation & Publication Africana	511.352 BOO (Browse shelf(Opens below))	Available		A638872

Previous	No cover image available No cover image available			No cover image available No cover image available				Next
Previous	511.1 GEE Further mathematics discrete : AQA A-level	511.313 BER An introduction to many-valued ad fuzzy logic : sematics, algebras, and derivatio systems	511.34 BUT Philosophy and model theory	511.352 BOO Computability and logic	511.36 CUP The Nuts and bolts of proofs : an introduction to mathematics proofs	511.36 CUP The Nuts and bolts of proofs : an introduction to mathematics proofs	511.36 CUP The Nuts and bolts of proofs : an introduction to mathematics proofs	Next

There are no comments on this title.

to post a comment.