AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS,SER2,V98: FIVE PAPERSON LOGICAND FOUNDATIONS. - AMS. (AMERICAN MATHEMATICAL SOCIETY, 1971)