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