Normal view MARC view ISBD view

Computability and logic Boolos George; Jefrey Richard

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cambridge Cambridge University Press 1980Edition: 2ndDescription: x, 285p cmSubject(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	Home library	Call number	Status	Barcode
Textual	Arts Library	Arts Library	R14 M0 (Browse shelf(Opens below))	Available	AL0870978

Previous								Next
Previous	R14 L7 Introduction to symbolic logic	R14 L71 Symbolic logic	R14 L9 Model theory for modal logic Krinka model for modalpredicate calculi	R14 M0 Computability and logic	R14 M2 Elements of logic and foundations of mathematics in problems	R14 M2 Formal number theory and computability a work book	R14 M3 Proof methods for model and intuitionistic logics	Next

There are no comments on this title.

to post a comment.