An FOL primer

Filman, R. E. | Weyhrauch, R. W.

Classics 

Memo 288, AI Laboratory, Stanford University.