Frege structures and the notion of proposition, truth and set (1980)

by P Aczel
Venue:In The Kleene Symposium