2013-04-07から1日間の記事一覧

 Martin-Löf, Brouwer, The Berlin Group of the Logical Empiricism, Frege, and Axiomatic Set Theory

Maria van der Schaar ed. Judgement and the Epistemic Foundation of Logic, Springer, Logic, Epistemology, and the Unity of Science, vol. 31, 2013 Dirk van Dalen L.E.J. Brouwer: Topologist, Intuitionist, Philosopher: How Mathematics Is Roote…