Three-valued logic and cut-elimination: the actual meaning of Takeuti's conjecture - Girard J Y (Waeszawa Panstwowa Wydawnictwo Naukowe, 1976)
Keywords: Calculus