Example image of eyePlorer eyePlorer map for 'Calculus ratiocinator': Characteristica universalis Gottfried Leibniz Computer software Personal computer hardware Analytic philosophy Logic Mathematical logic Computer program Inference engine Begriffsschrift Charles Sanders Peirce Gottlob Frege Proof theory Cybernetics Electronic engineering Synthetic Systems theory Stepped Reckoner Adder (electronics) Circuit design Combinational logic Intel Corporation Logic gate Pentium Truth table Unified Science Boolean Electrical impedance Electric current Age of Enlightenment Mathesis universalis Diagrammatic reasoning Universal language Common sense Calculator List of important publications in mathematics Algorithm