Normal view MARC view ISBD view

Enumerability decidability computability : an introduction to the theory of recursive functions

By:

Contributor(s):

Material type: Text

TextPublication details: Berlin Springer Verlag 1965Description: 245pSubject(s):

DDC classification:

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	164 H42en (Browse shelf(Opens below))	Link to resource	Available		34362

Total holds: 0

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	164 H152L THE LOGIC OF NONSENSE	164 H213E EINFUHRUNG IN DIE FORMALE LOGIK	164 H235c Communication	164 H42en Enumerability decidability computability	164 H42EN2 ENUMERABILITY DECIDABILITY COMPUTABILITY	164 H54G4 GRUNDZUGE DER THEORETISCHEN LOGIK	164 IN8L Logic, methodology and philosophy of science III	Next

There are no comments on this title.

to post a comment.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)