Tételek ahol a kulcsszó "logikai nyelvek" és a mű dátum "2021"