Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
RECORD #
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
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/Availability
More Details
Full Record
Web View
LOCATION
SHELVED AT
LOAN TYPE
STATUS
BJL 3rd Floor
q QA 4 L47(897)
8 WEEK LOAN
AVAILABLE
Persistent link to this item
Click link and copy URL from browser navigation toolbar
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
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar