Normal view MARC view ISBD view

Algebraic Recursion Theory L. L. Ivanov

By:

Material type: Text

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
Carti	IMAR	511.35-IVA (Browse shelf(Opens below))	Available

Previous				No cover image available				Next
Previous	511.352-PET The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine /	511.35-CON Regular algebra and finite machines	511.35-IVA Algebraic recursion theory	511.35-IVA Algebraic Recursion Theory	511.36-BIM Proof theory : Sequent calculi and related formalisms	511.36-LAK Proofs and refutations : The logic of mathematical discovery	511.36-TAK Proof theory	Next

There are no comments on this title.

to post a comment.