Curry , H B Outlines of a formalist philosophy of mathematics - 1 - AMSTERDAM NORTH-HOLLAND PUBLISHING COMPANY 1951 - VIII,75P p. Subjects--Index Terms: MATHEMATICS