Gottlob, Georg Semantic presentation of logical operators of programming languages by means of three-valued truth tables. (English) Zbl 0546.68017 Multiple-valued logic, Proc. 12th int. Symp., Paris 1982, 81-87 (1982). MSC: 68Q65 68N01 03B50 PDFBibTeX XML
Gottlob, Georg Mehrwertige Logik - Aufbau und Anwendung in der Informatik. (Dissertation). (German) Zbl 0474.68006 Technische Universität Wien. 123 S. (1981). MSC: 68N01 03B50 03Gxx PDFBibTeX XML