Intuitionism and proof theory : (Record no. 115934)

MARC details
000 -LEADER
fixed length control field 01147nam a2200289 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250913134723.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 981208s1970 ne 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0720422574
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE]
Level of rules in bibliographic description 201408071207
Level of effort used to assign nonsubject heading access points zaleha
y 08-18-1999
z load
040 ## - CATALOGING SOURCE
Modifying agency UKM
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA9.C742 1968
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Classification number (OCLC) (R) ; Classification number, CALL (RLIN) (NR) QA9
Local cutter number (OCLC) ; Book number/undivided call number, CALL (RLIN) .C742 1968
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo).
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 Pub.,
Date of publication, distribution, etc. 1970.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 516 p. ;
Dimensions 23 cm.
490 1# - SERIES STATEMENT
Series statement Studies in logic and the foundations of mathematics
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographies.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
Form subdivision Congresses.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Studies in logic and the foundations of mathematics.
907 ## - LOCAL DATA ELEMENT G, LDG (RLIN)
a .b11141542
b 2021-05-28
c 2019-11-12
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type AM
Suppress in OPAC No
Call number prefix QA9.C742 1968
914 ## - VTLS Number
VTLS Number vtls000118633
991 ## - LOCAL NOTE (NAMA FAKULTI/INSTITUT/PUSAT)
a Fakulti Sains Matematik
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Library PERPUSTAKAAN TUN SERI LANANG
Operator's initials, OID (RLIN) 1999-05-08
Cataloger's initials, CIN (RLIN) m
Material Type (Sierra) Printed Books
Language English
Country
-- 0
-- .b11141542
Holdings
Withdrawn status Lost status Materials specified (bound volume or other part) Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    n.2       PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) 12/11/2019 - 0.00 .i12606935   QA9.C742 1968 00000266349 13/09/2025 1 13/09/2025 AM
            PERPUSTAKAAN TUN SERI LANANG PERPUSTAKAAN TUN SERI LANANG KOLEKSI AM-P. TUN SERI LANANG (ARAS 5) 12/11/2019 - 0.00 .i12606947 1 QA9.C742 1968 00000266355 13/09/2025 1 13/09/2025 AM

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library