International symposium devoted to logic and its interdisciplinary connections. Invited speakers were Sergei Artemov, Warren Goldfarb, David Makinson, and Barbara Partee.
International symposium devoted to logic and its interdisciplinary connections. Invited speakers were Sergei Artemov, Warren Goldfarb, David Makinson, and Barbara Partee. (en)