Iterated inductive definitions and subsystems of analysis: (Record no. 9202)

MARC details
000 -LEADER
fixed length control field 01536n a2200373#a 4500
001 - CONTROL NUMBER
control field 8197
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20221213135759.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 811127s1981 gw a b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 81021364
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387111700 (U.S. : pbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number ocm08034623
035 ## - SYSTEM CONTROL NUMBER
System control number Record 15703
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency FPU
049 ## - LOCAL HOLDINGS (OCLC)
Holding library P5AA
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510 s
-- 511
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES
IMPA CODE FOR CLASSIFICATION SHELVES Coleções de Monografias.
245 00 - TITLE STATEMENT
Title Iterated inductive definitions and subsystems of analysis:
Remainder of title recent proof-theoretical studies/
Statement of responsibility, etc. Wilfried Buchholz ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Berlin ;
-- New York:
Name of publisher, distributor, etc. Springer-Verlag,
Date of publication, distribution, etc. 1981.
300 ## - PHYSICAL DESCRIPTION
Extent v, 383 p.:
Other physical details ill.;
Dimensions 25 cm.
490 1# - SERIES STATEMENT
Series statement Lecture notes in mathematics ;
Volume/sequential designation 897.
500 ## - GENERAL NOTE
General note Includes index.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Bibliography: p. [358]-368.
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Analyse mathématique-
General subdivision Fondements.
Source of heading or term ram
9 (RLIN) 30230
650 07 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Induction (Mathématiques).-
Source of heading or term ram
9 (RLIN) 30231
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Preuve, théorie de la.-
Source of heading or term ram
9 (RLIN) 30232
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical analysis-
General subdivision Foundations
9 (RLIN) 38395
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Induction (Mathematics)-
9 (RLIN) 37144
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Proof theory-
9 (RLIN) 37150
697 ## - LOCAL SUBJECT
Local Subject Coleções de Monografias.
Linkage 23736
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Buchholz, Wilfried,
Dates associated with a name 1948-
9 (RLIN) 38946
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in mathematics (Springer-Verlag);
Volume/sequential designation 897.
9 (RLIN) 43881
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 Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Barcode Date last seen Copy number Price effective from Koha item type
        Coleções de Monografias (Monographs Collections) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-24   39063000237258 2022-12-01 1 2022-12-01 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha