Disjunction, existence and #-elimination, Doctoral dissertation (1965)

by J R Moschovakis