Enumerability, decidability computability (Record no. 72501)

MARC details
000 -LEADER
fixed length control field 00604nam a2200193Ia 4500
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 76-89552
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number N693;3
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Hermes, Hans.
245 ## - TITLE STATEMENT
Title Enumerability, decidability computability
Remainder of title an introduction to the theory of recursive functions
Statement of responsibility, etc. by Hans Hermes, tr. by G.T. Hermann, O. Plassmann
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin
Name of publisher, distributor, etc. Springer-Verlag
Date of publication, distribution, etc. 1969
300 ## - PHYSICAL DESCRIPTION
Extent x, 245p.
490 ## - SERIES STATEMENT
Series statement Die grundlehren der mathematischen Wissenschaften
Volume/sequential designation Band 127
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Special algorithms; Recursive functions
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Hermann, G.T., tr.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Plassmann, O., tr.
919 ## -
-- 075335
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Koha item type
        JRD Tata Memorial Library JRD Tata Memorial Library 10/01/1998   511.3 N693;3 121353 Reference

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha