Elsőrendű tételbizonyító Łukasiewicz n-értékű logikájában

Elmentve itt :
Bibliográfiai részletek
Szerző: Huszár Jolán
További közreműködők: Tóth Péter (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 1979
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/3722

Hasonló tételek