Skip to main content alibris logo

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

by

Write The First Customer Review
Image not available
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
loading
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies 1981, Springer

ISBN-13: 9780387111704

Unknown binding