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

by Peter Aczel
Venue:The Kleene Symposium