Moderná logika - Mathé Svätoslav