FOUNDATIONS OF MATHEMATICS - RAMSEY F P (LOND. KEGAN PAUL, 1950)