Logic, Semantics, Metamathematics: Papers from 1923 to 1938