Normal view MARC view ISBD view

Formal number theory and computability Fisher Alec a work book

By:

Material type: Text

TextLanguage: English Publication details: Oxford Clarendon Press 1982Description: xiii,190p 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 M2 (Browse shelf(Opens below))	Available	AL0781997

Previous								Next
Previous	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	R14 M3 Proof methods for model and intuitionistic logics	R14 M3 Understanding symbolic logic	Next

There are no comments on this title.

to post a comment.