5 works on record
Symbolic logic
1969
Perspectives on contexts
Philosophical logic and artificial intelligence
Philosophy of Language
Studies in the formal logic of quantification
