Introduction to mathematical logic: part 1. - Princeton University Press, 1944. - ( Annals of Mathematical Studies ; 13).