Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23-26 August, 1962. (Acta philosophica Fennica ;, 1963)