José Patricio Díaz Varela

Dieser Artikel stellt ein neues logisches System für kontinuierliche t-Normen vor, das starke Vollständigkeit gewährleistet.