Úvod do logiky a logického programování. 5., Predikátová logika II - Popelínský, Lubomír; Masarykova univerzita. Fakulta informatiky ([Brno : Středisko pro pomoc studentům se specifickými nároky)
Keywords: výroková logika; propositional calculus; vysokoškolská skripta