Formally self-referential propositions for cut free classical analysis and related systems
By: G. Kreisel and G. Takeuti.
Contributors: Takeuti, Gaisi, 1926-
Series: Dissertationes mathematicae = Rozprawy matematyczne -- 118; Rozprawy matematyczne -- 118.
Publisher: Państwowe Wydawn. Naukowe
Published: 1974
Place of publication: Warszawa
Language: eng
Number of pages: 55
Subjects: Logic, Symbolic and mathematical; Proposition (Logic); Numerical analysis
Notes: At head of title:  Polska Akademia Nauk. Instytut Matematyczny.

Bibliography: p. [49]-50.