Uvod u logiku prvog reda - Cauman, Leigh S.; Strpić, Ognjen (Zagreb : Naklada Jesenski i Turk, 2004)
Prijevod djela: First order logic
Imensko i predmetno kazalo
Keywords: Matematička logika