Uvod u logiku prvog reda - Cauman, Leigh S. (Filozofska biblioteka / Naklada Jesenski i Turk, Zagreb, 2004)