First Order Logic

Cambridge University Press

Classical First-Order Logic                      

HACKETT PUB CO INC

First-Order Logic: A Concise Introduction        

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

University of California Press

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

De Gruyter

First-Order Logic: An Introduction              

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

Dover

An Introduction to Mathematical Logic            

Springer

First-Order Dynamic Logic                        

Profile Books Ltd

The Art of Logic: How to Make Sense in a World that Doesn't

Springer

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