New posts in Hilbert Calculus

Hilbert System Logical Axiom 1 follows from Axioms 2 and 3

Derive $P \to \neg \neg P$ in a structure with not and implies

Difference between Logical Axioms and Rules of Inference

Difference between Gentzen and Hilbert Calculi