List of Hilbert systems#Implicational propositional calculus

  1. REDIRECT List of axiomatic systems in logic

{{Redirect category shell|

{{R from move}}

}}