---

＜図書＞
Three-valued logic and cut-elimination : the actual meaning of Takeuti's conjecture / J. Y. Girard.
(Dissertationes mathematicae)

出版者	Warszawa : Panstwowe Wydawn. Naukowe
出版年	1976
大きさ	49 p. ; 24 cm.
著者標目	Girard, J. Y.
件　名	Many-valued logic Predicate calculus
一般注記	At head of title: Polska Akademia Nauk, Instytut Matematyczny. ＼ Bibliography: p. {45}

 類似資料