Normal view MARC view ISBD view

ENUMERABILITY DECIDABILITY COMPUTABILITY : an introduction to the theory of recursive functions

By:

Material type: Text

TextLanguage: English Publication details: Springer-Verlag 1969 New YorkEdition: 2ndDDC 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 H42EN2 (Browse shelf(Opens below))	Link to resource	Available		A63566

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 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	164 IN8L Logic, language and probability	Next

There are no comments on this title.

to post a comment.

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