Axiomatic Method and Category Theory

[235] A. Tarski. What are logical notions? History and Philosophy of Logic, 7:143 – 154, 1986.

[236] M. Toepell. On the origins of david hilbert’s “grundlagen der geometrie”. Archive for History of Exact Sciences, 35(4):329 – 344, 1986.

[237] A. Trendelenburg. Logische Untersuchungen. Leipzig: Verlag von S. Hirzel, 1862.

[238] S. Unguru. On the need to rewrite the history of greek mathematics. Archive of Exact Sciences, 15:67–114, 1975.

[239] D. van Dalen. Internal type theory. Types for proofs and programs (Torino, 1995), Lecture Notes in Comput. Sci., Springer, 1158:120–134, 1996.

[240] D. van Dalen. The development of brouwer’s intuitionism. Vincent Hendricks et al. (eds.), Proof Theory: History and Philosophical Significance (Synthese Library vol. 292, pages 117–152, 2000.

[241] B. van der Waerden. Moderne Algebra. Berlin: Springer, 1930-31.

[242] V.L. Vasyukov. Mathematical pluralism (in russian). O. Prosorov et al. (ed.) Philosophy, Mathematics, Linguistics: Aspects of Interaction: Proceedings of international conference held in Saint-Petersburg November 20 - 22, 2009, pages 222 – 227, 2009.

[243] O. Veblen and J.H.C. Whitehead. The foundations of differential geometry (Cambridge tracts in mathematics and mathematical physics; no. 29. Cambridge University Press, 1932.

[244] V. Voevodsky. A very short note on the homotopy λ-calculus, 2006. Unpublished note.

[245] V.A. Voevodsky. Introduction to the univalent foundations of mathematics (video recording of lecture given at princeton institute of advanced studies december 10, 2010, 2010. www.math.ias.edu/node/2778.

[246] V.A. Voevodsky. Univalent foundations. Mathematisches Forschungsinstitut Oberwolfach, Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory, Report N 11/2011, pages 7–10, 2011.

[247] C.U. Moulines W. Balzer and J.D. Sneed. An Architectonic for Science: the Structuralist Approach. Reidel, Dordrecht, 1987.

[248] M.L. Wantzel. Recherches sur les moyens de reconnaˆıtre si un probl`eme de g´eom´etrie peut se r´esoudre avec la r`egle et le compas. Journal de Math´ematiques Pures et Appliqu´ees, 2(1):366–372, 1837.

316