Intuitionism and proof theory: (Record no. 19449)

MARC details
000 -LEADER
fixed length control field 01224n a2200337#a 4500
001 - CONTROL NUMBER
control field 19009
003 - CONTROL NUMBER IDENTIFIER
control field P5A
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240404163500.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 701102s1970 ne b 100 0 eng||
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 77097196 //r884
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number Ne70-33
035 ## - SYSTEM CONTROL NUMBER
System control number ocm00103466
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency UKM
-- P5A
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number I61
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 Conference on Intuitionism and Proof Theory
Date of meeting or treaty signing (1968 :
Location of meeting State University of New York at Buffalo)
9 (RLIN) 21970
245 10 - TITLE STATEMENT
Title Intuitionism and proof theory:
Remainder of title Proceedings of the summer conference at Buffalo, N.Y., 1968/
Statement of responsibility, etc. edited by A. Kino, J. Myhill and R. E. Vesley.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Amsterdam:
Name of publisher, distributor, etc. North-Holland,
Date of publication, distribution, etc. 1970.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 516 p.:
Dimensions 23 cm.
490 #0 - SERIES STATEMENT
Series statement Studies in logic and the foundations of mathematics
-- 44413
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographies.
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Intuitionistic mathematics-
General subdivision Congresses.
9 (RLIN) 30419
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 Kino, A.
Relator term ed.
9 (RLIN) 33794
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Myhill, John
Relator term ed.
9 (RLIN) 43263
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Vesley, Richard Eugene,
Dates associated with a name 1932-
Relator term ed.
9 (RLIN) 34964
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element State University College at Buffalo.
9 (RLIN) 32641
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-25   511.3 I61 1970 IMPA 39063000099914 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha