First Order Logic

Cambridge University Press

Classical First-Order Logic                      

Igor Markotenko

First Order Logic                                

Springer

First-Order Logic and Automated Theorem Proving (Texts in Computer Science) (English Edition)

Cambridge University Press

Extensions of First-Order Logic                  

First-order Logic: An Introduction by Leigh S. Cauman (1998-05-01)

Hilltown Disco

First Order Logic                                

Hilltown Disco

First Order Logic                                

Igor Markotenko

First Order Logic                                

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Metamathematics of First-Order Arithmetic        

OUP Oxford

Fragments of First-Order Logic (English Edition)