Call Number (LC) Title Results
QA9 .G64 2022 Mathematical logic through Python / 1
QA9 .G645 Les entretiens de Zurich sur les fondements et la méthode des sciences mathématiques, 6-9 décembre 1938 : exposés et discussions / 1
QA9 .G65 Les fondements des mathématiques. : De la géométrie d'Euclide à la rélativité générale et à l'intuitionisme / 1
QA9 .G67 Les mathématiques et la réalité : essai sur la méthode axiomatique / 1
QA9 .G69 1961 Mathematical logic. 1
QA9 .G698 Dictionary of logical terms and symbols / 1
QA9 .G72 Logique moderne. 1
QA9 .G73 2011 Treatise on intuitionistic type theory 1
QA9 .G76 2007 Representation and productive ambiguity in mathematics and the sciences / 1
QA9 .G76 2007eb Representation and productive ambiguity in mathematics and the sciences / 1
QA9 .H25 1954 An essay on the psychology of invention in the mathematical field. 1
QA9 .H25 1996 The mathematician's mind : the psychology of invention in the mathematical field / 1
QA9 .H293 1998 Logic as algebra / 2
QA9 .H298 Logic for mathematicians / 2
QA9 .H298 1988 Logic for mathematicians / 1
QA9 .H32 Handbook of mathematical logic / 1
QA9 .H32 1977eb Handbook of mathematical logic 1
QA9 .H325 2002 Handbook of the logic of argument and inference : the turn towards the practical / 1
QA9 .H325 2002eb Handbook of the logic of argument and inference the turn towards the practical / 1
QA9 .H34 Foundations of mathematics / 1