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

Enumerability decidability computability (Record no. 450776)

000 -LEADER
fixed length control field 00576pam a2200169a 44500
040 ## - CATALOGING SOURCE
Original cataloging agency P K Kelkar Library, IIT Kanpur
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 164
Item number H42en
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hermes, Hans
245 0# - TITLE STATEMENT
Title Enumerability decidability computability
Remainder of title an introduction to the theory of recursive functions
Statement of responsibility, etc. Hans Hermes: translated by G. T. Herman and O. Plassmann
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin
Name of publisher, distributor, etc. Springer Verlag
Date of publication, distribution, etc. 1965
300 ## - PHYSICAL DESCRIPTION
Extent 245p
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computability
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Enumerability decidability
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Herman, G. T. [Tr.]
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Plassmann, O. [Tr.]
997 ## -
-- 34362 C
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Full call number Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
        COMPACT STORAGE (BASEMENT) PK Kelkar Library, IIT Kanpur PK Kelkar Library, IIT Kanpur 2015-04-12 164 H42en 34362 2016-05-19 Book Request 2016-05-19 Books

Powered by Koha