Quote


Voting: - 1 +
This report is about as impenetrable as its title.
— Jim Donahue, On "Admissibility of Fixed Point Inductions in First Order Logic of Typed Theories," by S. Igarashi · May 6, 1979