Title: Algebraic and proof-theoretic aspects of non-classical logics
Subjects: Nonclassical mathematical logic, Computer science, Artificial intelligence, Translators (Computer programs), Logic, symbolic and mathematical, Congresses
People: Daniele Mundici (1946-)