First-order Logic

Dover

First-Order Logic                                

Springer

First-Order Modal Logic: 480                    

HACKETT PUB CO INC

First-Order Logic: A Concise Introduction        

Springer

First-Order Dynamic Logic: 68                    

Springer

First-Order Modal Logic (Synthese Library) by M. Fitting (1999-08-31)

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

Wadsworth Pub Co

First-Order Logic: A Concise Introduction: .    

Cambridge University Press

Metamathematics of First-Order Arithmetic (Perspectives in Logic Book 3) (English Edition)

Springer

First-Order Logic and Automated Theorem Proving  

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