FEEDBACK Smiley face

Enumerability, decidability, computability : (Record no. 10837)

000 -LEADER
fixed length control field 01156cam a2200325 4500
001 - CONTROL NUMBER
control field 4600203
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150704174856.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 691216s1969 gw b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 76089552
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GDB***
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642461804
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title engger
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA248.5
Item number .H413 1969
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510.01
Item number HER-E
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Hermes, Hans.
245 10 - TITLE STATEMENT
Title Enumerability, decidability, computability :
Remainder of title an introduction to the theory of recursive functions.
Statement of responsibility, etc Translated by G. T. Hermann and O. Plassmann.
250 ## - EDITION STATEMENT
Edition statement 2d rev. ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc New York,
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc ©1969.
300 ## - PHYSICAL DESCRIPTION
Extent x, 245 p.
Dimensions 24 cm.
440 #4 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ;
Volume number/sequential designation Bd. 127
500 ## - GENERAL NOTE
General note Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographies.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Recursive functions.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Algorithms.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Gödel's theorem.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computable functions.
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d u
e ncip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection code Permanent location Current location Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type Bill No. Bill Date PO No. PO Date Vendor/Supplier
        Not For Loan Mathematics IIITD IIITD Reference 2015-07-04 4669.13 REF 510.01 HER-E 005096 2015-07-04 € 89.99 2015-07-04 Books IN23107 2015-07-02 IIITD/LIC/BS/2012/05/132 2015-04-27 Overseas Press India (P) Limited

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in