Start Over Please hold this item Export MARC Display Return To Browse
 
     
Limit search to available items
Record: Previous Record Next Record
Title Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.].
Publication Info Berlin ; New York : Springer-Verlag, 1981.


LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  q QA 4 L47(897)  8 WEEK LOAN  AVAILABLE

Descript v, 383 p. : ill. ; 25 cm.
ISBN 0387111700
Click on the terms below to find similar items in the catalogue
Series Lecture notes in mathematics ; 897
Lecture notes in mathematics (Springer-Verlag) ; 897.
Subject Mathematical analysis -- Foundations.
Induction (Mathematics)
Proof theory.
Alt author Buchholz, Wilfried, 1948-
Descript v, 383 p. : ill. ; 25 cm.
ISBN 0387111700
Series Lecture notes in mathematics ; 897
Lecture notes in mathematics (Springer-Verlag) ; 897.
Subject Mathematical analysis -- Foundations.
Induction (Mathematics)
Proof theory.
Alt author Buchholz, Wilfried, 1948-
LOCATION SHELVED AT LOAN TYPE STATUS
 BJL 3rd Floor  q QA 4 L47(897)  8 WEEK LOAN  AVAILABLE

Subject Mathematical analysis -- Foundations.
Induction (Mathematics)
Proof theory.
Descript v, 383 p. : ill. ; 25 cm.
Alt author Buchholz, Wilfried, 1948-
ISBN 0387111700

Links and services for this item: