Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz [and others].
|
| 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