ebook,Andrei Rodin,Axiomatic Method and Category Theory (Synthese Library Book 364),Springer,Algebra,Algebra - Abstract,B,Categorical logic; David Hilbert; Homotopy Type theory; Mathematical Structuralism; Topos theory; Univalent Foundations of Mathematics; Vladimir Voevodsky; William Lawvere,Categorical logic;David Hilbert;Homotopy Type theory;Mathematical Structuralism;Topos theory;Univalent Foundations of Mathematics;Vladimir Voevodsky;William Lawvere,Category Theory, Homological Algebra,Epistemology,Genetic epistemology,Logic,Logic, Symbolic and mathematical,MATHEMATICAL AND SYMBOLIC LOGIC,MATHEMATICS / Algebra / Abstract,MATHEMATICS / Logic,Mathematical Logic and Foundations,Mathematical foundations,Mathematical logic,Mathematics,Mathematics : Logic,Mathematics/Logic,Monograph Series, any,Non-Fiction,PHILOSOPHY / Epistemology,Philosophie / Allgemeines, Lexika,Philosophy,Philosophy : Epistemology,Philosophy/Epistemology,Philosophy: epistemology & theory of knowledge,Religion and Philosophy,Scholarly/Undergraduate,TEXT,Western Europe,Algebra - Abstract,Epistemology,Logic,MATHEMATICS / Algebra / Abstract,MATHEMATICS / Logic,Mathematics : Logic,Mathematics/Logic,PHILOSOPHY / Epistemology,Philosophy : Epistemology,Philosophy/Epistemology,Mathematics,Philosophy: epistemology & theory of knowledge,Philosophie / Allgemeines, Lexika" />