On normalization of proofs in set theory
著者
書誌事項
On normalization of proofs in set theory
（Dissertationes mathematicae, 261）
Państwowe Wydawn. Naukowe, 1988
大学図書館所蔵 全1件
注記
Includes bibliographical references (p. [95])
On normalization of proofs in set theory
（Dissertationes mathematicae, 261）
Państwowe Wydawn. Naukowe, 1988
Includes bibliographical references (p. [95])