TY - BOOK AU - Belna,Jean-Pierre TI - Histoire de la logique SN - 2729822658 AV - QA 9 B451h 2005 U1 - 160 PY - 2005/// CY - Paris PB - Ellipses KW - Mathematics KW - Philosophy KW - Logic, Symbolic and mathematical KW - Matemáticas KW - Filosofía KW - Lógica, Símbolos y Matemáticas KW - Logique KW - Histoire KW - Logique symbolique et mathématique KW - Algebre KW - Aristote KW - Axiomatique KW - Boole KW - Calcul KW - Dialectique KW - Frege KW - Godel KW - Hilbert KW - Informatique KW - Leibniz KW - Logicisme KW - Machine KW - Mathematique KW - Megarico-Stoicien KW - Modal KW - Pascal KW - Programme KW - Relation KW - Russell KW - Theophraste KW - Theoreme KW - Turing KW - Amosbibl N1 - Includes bibliographical references (p. [121]) and indexes ER -