Deduktív tételbizonyítás Lukasiewicz N-értékű logikájában

Elmentve itt :
Bibliográfiai részletek
Szerző: Kertész Éva
További közreműködők: Tóth Péter (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 1981
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/4157

Hasonló tételek