First Order Logic

Dover

First-Order Logic                                

Cambridge University Press

Classical First-Order Logic                      

Hackett Publishing Company, Inc.

First-Order Logic: A Concise Introduction        

Springer

First-Order Modal Logic: 480                    

The Center for the Study of Language and Information Publications

The Language of First-Order Logic: Including the IBM-compatible Windows version of Tarski's World 4.0

Springer

First-Order Dynamic Logic: 68                    

First-Order Logic (Dover Books on Mathematics) by Raymond M. Smullyan (1995) Paperback

Wadsworth Pub Co

First-Order Logic: A Concise Introduction        

Sagar Publications

Classical Theory of First Order Logic            

First-Order Logic: An Introduction by Leigh S Cauman (1998-10-13)