branch of philosophy that studies the assumptions, foundations, and implications of mathematics
Nothing in the MetaHistoryBook collection references this item yet.