Theory of formal systems/ (Record no. 2473)

MARC details
000 -LEADER
fixed length control field 01089n a2200349#a 4500
001 - CONTROL NUMBER
control field 1272
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163256.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 840131s1961 njua b 000 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 60014063 /L/r84
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GB61-18841
029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC)
OCLC library identifier UKM
System control number b6118841
035 ## - SYSTEM CONTROL NUMBER
System control number ocm00527319
035 ## - SYSTEM CONTROL NUMBER
System control number Record 03038
040 ## - CATALOGING SOURCE
Original cataloging agency DLC/ICU
Transcribing agency CGU
Modifying agency FCU
-- UKM
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
051 ## - LIBRARY OF CONGRESS COPY, ISSUE, OFFPRINT STATEMENT
Classification number QA1
Item number .A626 no. 47
Copy information Copy 2.
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number S666t
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Lógica e Fundamentos 02-Lógica Matemática e Funções Recursivas.
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Smullyan, Raymond M.
9 (RLIN) 46155
245 10 - TITLE STATEMENT
Title Theory of formal systems/
Statement of responsibility, etc. Raymond M. Smullyan.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Princeton, N.J.:
Name of publisher, distributor, etc. Princeton University Press,
Date of publication, distribution, etc. 1961.
300 ## - PHYSICAL DESCRIPTION
Extent 142 p.:
Other physical details illus.,
Dimensions 26 cm.
490 #0 - SERIES STATEMENT
Series statement Annals of mathematics studies;
Volume/sequential designation 47
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliography.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Fonctions récursives.
Source of heading or term ram
9 (RLIN) 26963
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Métamathématique.
Source of heading or term ram
9 (RLIN) 26964
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Recursive functions
9 (RLIN) 36989
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Metamathematics.
9 (RLIN) 38347
697 ## - LOCAL SUBJECT
Local Subject Lógica e Fundamentos 02-
Description subdivision Lógica Matemática e Funções Recursivas.
Linkage 23728
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 S666t 1961 IMPA 39063000098460 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha