Hilbertovi problemi i logika - Mijajlović, Žarko (Array, 1986)