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

by P Aczel
Venue:The Kleene Symposium