https://1library.org/document/y96x8n4l-hilbert-calculi.html