Three-valued logic and cut-elimination
Subtitle: the actual meaning of Takeuti's conjecture
By: J. Y. Girard.
Series: Dissertationes mathematicae ;; 136; Rozprawy matematyczne ;; 136.
Publisher: Państwowe Wydawn. Naukowe
Published: 1976
Place of publication: Warszawa
Language: eng
Number of pages: 49
Subjects: Many-valued logic.; Predicate calculus.
Notes: Bibliography: p. [45]
At head of title: Polska Akademia Nauk, Instytut Matematyczny.