TY - BOOK AU - Curry, Haskell B TI - Outlines Of A Formalist Philosophy Of Mathematics U1 - 511.3 PY - 1951/// CY - Amsterdam PB - North Holland Publishing Company KW - General Stack KW - Philosophy KW - Mathematics ER -