Recursion theory: (Record no. 5845)

MARC details
000 -LEADER
fixed length control field 01280n a2200325#a 4500
001 - CONTROL NUMBER
control field 4748
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231127103850.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 810210s1980 enka b 100 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 80041215
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 052123543X
035 ## - SYSTEM CONTROL NUMBER
System control number ocm07116205
035 ## - SYSTEM CONTROL NUMBER
System control number Record 09451
040 ## - CATALOGING SOURCE
Original cataloging agency YSM
Transcribing agency YSM
Modifying agency DLC
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.352
Item number R311
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 02-Congressos e Seminários-Lógica Matemática e Funções Recursivas
245 10 - TITLE STATEMENT
Title Recursion theory:
Remainder of title its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979/
Statement of responsibility, etc. edited by F. R. Drake and S. S. Wainer.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, UK
-- New York:
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 1980.
300 ## - PHYSICAL DESCRIPTION
Extent 319 p.:
Other physical details ill.;
Dimensions 23 cm.
490 1# - SERIES STATEMENT
Series statement London Mathematical Society lecture note series;
International Standard Serial Number 0076-0552;
Volume/sequential designation 45.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursion theory-
General subdivision Congresses.
9 (RLIN) 28098
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursive functions-
General subdivision Congresses.
9 (RLIN) 27766
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 02-
Complement Congressos e Seminários-
Description subdivision Lógica Matemática e Funções Recursivas
Linkage 23784
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Drake, F. R.
Fuller form of name (Frank Robert)
9 (RLIN) 39490
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Wainer, S. S.
9 (RLIN) 39476
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Logic Colloquium
Date of meeting or treaty signing (1979 :
Location of meeting Leeds, Yorkshire)
9 (RLIN) 28392
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title London Mathematical Society lecture note series;
Volume/sequential designation 45.
9 (RLIN) 7320
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.352 R311 1980 IMPA 39063000098742 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha