Definite descriptions and excluded middle in the theory of constructions, TYPES mailing list (1989)

by G Pottinger
Venue:Communications in the TYPES electronic forum