RAYMOND L. WILDER: Introduction to the foundations of mathematics K.JAAKKO HINTIKKA — 1954 Mathematica Scandinavica