Admissibility of fixed-point induction in first-order logic oftyped theories (1972)

by Shigeru Igarashi