The two-valued iterative systems of mathematical logic. - Post, Emil Leon, 1897-1954 (Annals of mathematics studies ;, 1941)