Logic, Semantics, Metamathematics; Papers from 1923 to 1938. | Synapse