5 works on record
Studies in the philosophy of logic and knowledge
Philosophical logic
The theory of descriptions
The force of argument
Logic Colloquium '80