Author: Colloquium on Modal and Many-Valued Logics (1962 Helsinki, Finland)