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

000 -LEADER
fixed length control field 00599nmm a2200193Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230424s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783540386490
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name W. Buchholz
245 #0 - TITLE STATEMENT
Title Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
250 ## - EDITION STATEMENT
Edition statement 1981
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 1981
Name of publisher, distributor, etc. Springer Berlin
Place of publication, distribution, etc. Heidelberg
300 ## - PHYSICAL DESCRIPTION
Extent Monograph
490 ## - SERIES STATEMENT
Series statement Lecture Notes in Mathematics
Volume/sequential designation v.897
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematics and Statistics
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name S. Feferman
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name W. Pohlers
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name W. Sieg
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/BFb0091894">https://doi.org/10.1007/BFb0091894</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
      Accessible Online ICTS ICTS 04/24/2023 EBK9821 04/24/2023 https://doi.org/10.1007/BFb0091894 04/24/2023 electronic book