---

＜図書＞
Completeness properties of classical theories of finite type and the normal form theorem / Peter Pappinghaus.
(Dissertationes mathematicae)

出版者	Warszawa : Pa?nstwowe Wydawn. Nauk.
出版年	1983
大きさ	66 p. ; 24 cm.
著者標目	Pappinghaus, Peter
件　名	Model theory Proof theory

 類似資料