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

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

W. Buchholz , S. Feferman , W. Pohlers
まだ評価がありません
Dec 1, 1981 · 英語 · ペーパーバック (392 ページ)
棚に追加

この本を評価する


ブックジャーナルをエクスポート

本の詳細

形式 ペーパーバック
ページ数 392
言語 英語
公開されました Dec 1, 1981
出版社 Springer
ISBN-10 3540111700
ISBN-13 9783540111702

説明

Used - Like New
棚に追加

この本を評価する


ブックジャーナルをエクスポート