Kertész, Éva (1981) Deduktív tételbizonyítás Lukasiewicz N-értékű logikájában. Masters, József Attila Tudományegyetem.