Normal view
MARC view
Mathematics Philosophy. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)51598: Curry, Haskell B 2659682, Outline of a formalist philosophy of mathematics /, 1958