Szomolányi, J. - významové útvary
kalkul logický (L289)
logika (L289) logika výroková klasická (Szomolányi, J.)