Generalized recursion theory. (Record no. 5367)

MARC details
000 -LEADER
fixed length control field 01208n a2200337#a 4500
001 - CONTROL NUMBER
control field 4253
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163320.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 740731s1974 ne b 101 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 73081531 //r79
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number Ne74-18
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 044410545X (American Elsevier)
035 ## - SYSTEM CONTROL NUMBER
System control number ocm01007181
035 ## - SYSTEM CONTROL NUMBER
System control number Record 08516
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number G326
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 04-"Studies in Logic"
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Symposium on Generalized Recursion Theory
Number of part/section/meeting (1st :
Date of meeting or treaty signing 1972 :
Location of meeting University of Oslo)
9 (RLIN) 28101
245 10 - TITLE STATEMENT
Title Generalized recursion theory.
Remainder of title Proceedings of the 1972 Oslo symposium/
Statement of responsibility, etc. Ed. by J. E. Fenstad and P. G. Hinman.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Amsterdam ;
Name of publisher, distributor, etc. North-Holland,
Place of publication, distribution, etc. New York:
Name of publisher, distributor, etc. American Elsevier,
Date of publication, distribution, etc. 1974.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 456 p.:
Dimensions 23 cm.
490 #0 - SERIES STATEMENT
Series statement Studies in logic and the foundations of mathematics,
Volume/sequential designation v. 79.
-- 44413
500 ## - GENERAL NOTE
General note Includes 12 papers from the symposium.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliography: p. 445-451.
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursion theory-
General subdivision Congresses.
9 (RLIN) 28098
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 04-
Description subdivision "Studies in Logic"
Linkage 23801
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Fenstad, Jens Erik
Relator term ed.
9 (RLIN) 45685
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Hinman, Peter G.
Relator term ed.
9 (RLIN) 40706
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
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-24   511.3 G326 1974 IMPA 39063000300080 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha