Logica
Babbage
Boole
Clausal Form
Unification
Hilbert
Fitch
Herbrand
Robinson