Finite partially ordered quantification (1970)

by W Walkoe
Venue:J. Symbolic Logic