On local proof restrictions for strong theories
By: Don Jensen.
Series: Dissertationes mathematicae ;; 108; Rozprawy matematyczne ;; 108.
Publisher: Państwowe Wydawn. Naukowe
Published: 1973
Place of publication: Warszawa
Language: eng
Number of pages: 51
Subjects: Proof theory.
Notes: Bibliography: p. [46]-47.
At head of title: Polska Akademia Nauk. Instytut Matematyczny.