A constructive Morse theory of sets (1987)

by Douglas Bridges
Venue:in Mathematical Logic and Its Applications