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 International Publishing AG

First-Order Modal Logic                          

Springer

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

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

University of California Press

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

Springer

First-Order Modal Logic                          

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

Betascript Publishing

Fitch- Style Calculus: Formal Proof, First- Order Logic, Frederic Brenton Fitch