Logické systémy - Frištacký, Norbert; Kolesár, Milan; Kolenička, Ján; Hlavatý, Jozef (Alfa - SNTL Bratislava - Praha, 1986)
Keywords: matematika; matematická logika