Uvod u logiku prvog reda - Cauman, Leigh S. (Filozofska biblioteka, 2004)