Nazivlje u nastavi logike - Kovač, Srećko (Array, 1993)