TY  - BOOK
AU  - Girard J Y
TI  - Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture
T2  - Dissertations mathematicae; 136
U1  - B32, L61 
PY  - 1976///
CY  - Waeszawa
PB  - Panstwowa Wydawnictwo Naukowe       
KW  - Calculus
ER  -