First-order Logic

Dover

First-Order Logic                                

Springer

First-Order Modal Logic: 480                    

First Order Mathematical Logic (Dover Books on Mathematics) by Angelo Margaris (2003-03-17)

Cambridge University Press

Classical First-Order Logic                      

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

Hackett Publishing Company, Inc.

First-Order Logic: A Concise Introduction        

Springer

First-Order Dynamic Logic: 68                    

Sagar Publications

Classical Theory of First Order Logic            

Springer

First-Order Modal Logic: 277                    

Wadsworth Pub Co

First-Order Logic: A Concise Introduction