Seol mar théacs é seo: Logic, semantics, metamathematics: papers from 1923 to 1938