Completeness properties of classical theories of finite type and the normal form theorem
By: Peter Päppinghaus.
Series: Dissertationes mathematicae =; Rozprawy matematyczne,; 207; Rozprawy matematyczne ;; 207.
Publisher: Paʹnstwowe Wydawn. Nauk.
Published: 1983
Place of publication: Warszawa
Language: eng
Number of pages: 66
Subjects: Model theory.; Proof theory.
Notes: Bibliography: p. [62]