Proceedings - Pos, H.J; Hollak, J.H.A; Beth, Evert Willem (Library of the Tenth International Congress of Philosophy, 1949)