The undecidability of the second-order uni problem (1981)

by William D Goldfarb
Venue:Warsaw University Institute of Informatics