Enumerability, decidability, computability;: (Record no. 16281)

MARC details
000 -LEADER
fixed length control field 01420n a2200409#a 4500
001 - CONTROL NUMBER
control field 15613
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163443.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 //r852
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GDB***
035 ## - SYSTEM CONTROL NUMBER
System control number ocm00047207
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency UBA
041 1# - LANGUAGE CODE
Language code of text/sound track or separate title engger
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number H553e
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 01-Fundamentos e Textos Gerais.
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Hermes, Hans
9 (RLIN) 44729
240 10 - UNIFORM TITLE
Uniform title Hermes, Hans.
Language of a work English
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.
Place of publication, distribution, etc. Berlin:
-- New York:
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 1969.
300 ## - PHYSICAL DESCRIPTION
Extent x, 245 p.:
Dimensions 24 cm.
490 #0 - SERIES STATEMENT
Series statement Grundlehren der mathematischen Wissenschaften;
Volume/sequential designation Bd. 127.
-- 43981
500 ## - GENERAL NOTE
General note Translation of Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographies.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursive functions
9 (RLIN) 36989
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Algorithms.
9 (RLIN) 37032
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Godel's theorem.
9 (RLIN) 37591
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable functions.
9 (RLIN) 37437
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Funções (Matemática)
Source of heading or term larpcal
9 (RLIN) 19960
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computabilidade e Modelos de Computação.
Source of heading or term larpcal
9 (RLIN) 20331
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logica Matematica.
Source of heading or term larpcal
9 (RLIN) 20332
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 01-
Description subdivision Fundamentos e Textos Gerais.
Linkage 23723
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Instituto de Matemática Pura e Aplicada
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type Public note
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-24   511.3 IMPA 39063000095888 2022-12-02 1 2022-12-02 Books Lógica Matemática
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha