Proceedings of the inter congress of philosophy - Beth, E. W (North-Holland Publishing Company, 1949)