papers from 1923 to 1938 (1956)

by Semantics Logic, Metamathematics