Three-valued logic and cut-elimination, the actual meaning of Takeuti's conjecture
By: J. Y. Girard
Series: Dissertationes mathematicae -- 136; Rozprawy matematyczne -- 136
Publisher: Państwowe Wydawn. Naukowe
Published: 1976
Place of publication: Warszawa
Language: eng
Number of pages: 49
Subjects: Symbolic and mathematical Logic; Metamathematics; Type theory; Many-valued logic; Predicate calculus
Notes: At head of title: Polska Akademia Nauk, Instytut Matematyczny.

Bibliography: p. [45]