OPAC Banner

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Record no. 28350)

MARC details
000 -LEADER
fixed length control field 00428nam a22001457a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240801094002.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 240801b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 3540111700
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 515
Item number BUC/I
100 ## - MAIN ENTRY--AUTHOR NAME
Personal name Buchholz, W.
245 ## - TITLE STATEMENT
Title Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Statement of responsibility, etc /by W. Buchholz
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication New York:
Name of publisher Springer,
Year of publication 1981.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Lost status Damaged status Permanent Location Current Location Shelving location Date acquired Full call number Accession Number Koha item type
    PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY PROF. BHUBANESWAR BEHERA CENTRAL LIBRARY Reference 01.08.2024 515 BUC/I 57646 Books

Powered by Koha