First-order Logic

Dover

First-Order Logic                                

Springer

First-Order Modal Logic: 480                    

Hackett Publishing Company, Inc.

First-Order Logic: A Concise Introduction        

Cambridge University Press

Classical First-Order Logic                      

Springer

First-Order Dynamic Logic: 68                    

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

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

First-Order Logic: An Introduction by Leigh S Cauman (1998-10-13)

Wadsworth Pub Co

First-Order Logic: A Concise Introduction        

Springer

First-Order Modal Logic: 277