Logic, Semantics, Metamathematics
Subtitle: Papers from 1923 to 1938
Publisher: Oxford at the Clarendon Press
Published: 1956-01-01