The lattices of numerations of theories containing Peano's arithmetic Stanislav Palúch (1973) Commentationes Mathematicae Universitatis Carolinae
Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture [Book] J. Y. Girard (1976)