登入選單
返回Google圖書搜尋
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
W. BuchholzS. FefermanW. PohlersW. Sieg
出版Springer, 2006-11-14
主題Mathematics / LogicMathematics / History & PhilosophyMathematics / General
ISBN35403864919783540386490
URLhttp://books.google.com.hk/books?id=aQt8CwAAQBAJ&hl=&source=gbs_api
EBookSAMPLE