Iterated Inductive Definitions and Subsystems of Analysis

Iterated Inductive Definitions and Subsystems of Analysis

Recent Proof-Theoretical Studies

4/5
首次发表
1981
发行商
Springer Berlin / Heidelberg
语言
English

图书

类似书籍