First Order Logic

Dover

First-Order Logic                                

Cambridge University Press

Classical First-Order Logic                      

HACKETT PUB CO INC

First-Order Logic: A Concise Introduction        

Springer

First-Order Dynamic Logic                        

University of California Press

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Springer

First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories

Springer International Publishing AG

First-Order Modal Logic                          

De Gruyter

First-Order Logic: An Introduction              

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

Stanford Univ Center for the Study

The Language of First-Order Logic: Including the IBM-Compatible Windows Version of Tarski's World 4.0/Book and Disk