Proceedings of a colloquium on Modal and many-valued logics : Helsinki, 23-26 August, 1962. (Acta philosophica Fennica (Suomalaisen Kirjallisuunden Kirjapaino) ;, 1963)