These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,
Buy Proof and Knowledge in Mathematics by Michael Detlefsen from Australia's Online Independent Bookstore, BooksDirect.