Logica
Tools
for
Thought
Hilbert Proofs
Id
Premises
Goal