Non-classical logics, model theory, and computability: (Record no. 14507)

MARC details
000 -LEADER
fixed length control field 01449n a2200361#a 4500
001 - CONTROL NUMBER
control field 13783
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163431.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 770420s1977 ne a b 100 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 77007366
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0720407524
035 ## - SYSTEM CONTROL NUMBER
System control number ocm02964743
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency P5A
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.8
Item number N812
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 Latin-American Symposium on Mathematical Logic
Number of part/section/meeting (3rd ::
Date of meeting or treaty signing 1976 ::
Location of meeting State University of Campinas).
9 (RLIN) 19767
245 10 - TITLE STATEMENT
Title Non-classical logics, model theory, and computability:
Remainder of title proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/
Statement of responsibility, etc. edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Amsterdam;
-- New York;
Name of publisher, distributor, etc. North-Holland;
Place of publication, distribution, etc. New York:
Name of publisher, distributor, etc. North-Holland/Elsevier,
Date of publication, distribution, etc. 1977.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 307 p.:
Other physical details ill.;
Dimensions 23 cm.
490 #0 - SERIES STATEMENT
Series statement Studies in logic and the foundations of mathematics;
Volume/sequential designation v. 89.
-- 44413
500 ## - GENERAL NOTE
General note Errata slip inserted.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographies.
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Nonclassical mathematical logic-
General subdivision Congresses.
9 (RLIN) 19768
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Model theory-
General subdivision Congresses.
9 (RLIN) 26662
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computable functions-
General subdivision Congresses.
9 (RLIN) 18609
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 Arruda, A. I.
Fuller form of name (Ayda Ignez)
9 (RLIN) 35635
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Costa, Newton C. A. da
9 (RLIN) 38931
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Chuaqui, R.
9 (RLIN) 45930
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.8 N812 1977 IMPA 39063000099823 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha