5 works on record
Logic programming
Prolog and expert systems
Speaking Pascal
The relative consistency of some consequences of the existence of measurable cardinal numbers
Model theory for modal logic