Logic, Semantics, Metamathematics: Papers from 1923 to 1938
Text: English, Polish (translation)