Uvod u logiku prvog reda - Cauman, Leigh S. (Naklada Jesenski i Turk, 2004)
Prijevod djela: First-order logic : an introduction