 Boole, George |  computability and complexity |  epsilon calculus |  Frege, Gottlob |  Gödel, Kurt: incompleteness theorems |  Hilbert, David: program in the foundations of mathematics |  logic: classical |  logic: intuitionistic |  logic: second-order and higher-order |  -->Peano, Giuseppe--> |  proof theory |  reasoning: automated |  Russell, Bertrand |  set theory 