Obični i formalizirani jezik u logici - Kovač, Srećko (Array, 2000)