Obični i formalizirani jezik u logici - Kovač, Srećko (2000)
Bibliografske bilješke uz tekst
Keywords: Simbolička i matematička logika