cover image

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz [and others].


Berlin ; New York : Springer-Verlag, 1981.
ISBN 3540111700, 9783540111702, 9780387111704, 0387111700

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.897 (show me on map) Off-site
Request
American
LIB stacks
No.896-898 bound together
LIB stacks
QA3 .L28 no.896-898 Available Request
George Mason
Fenwick stacks
QA3 .L28 no.897 Available Request
Georgetown
Off-Campus Shelving
QA3 .L28 no. 897 Available Request
Howard
Founders Library stacks
QA3 L28 NO. 897 Available Request
Other Authors Buchholz, Wilfried, 1948-
Subjects Analyse mathématique -- Fondements.
Beweistheorie.
Induction (Mathematics)
Induction (Mathématiques)
Induktive Definition.
Mathematical analysis -- Foundations.
Preuve, Théorie de la.
Preuve, théorie de la.
Proof theory.
Series Lecture notes in mathematics (Springer-Verlag) ; 897.
Description v, 383 pages : illustrations ; 25 cm.
Copyright Date 1981.
Notes Includes bibliographical references (pages 358-368) and index.
Network Numbers (OCoLC)8034623
(OCoLC)ocm08034623
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks