papers from 1923 to 1938 (1983)

by Semantics Logic, Metamathematics