system LK

1. redirect Sequent calculus#The system LK

{{Redirect category shell|

{{Redirect to section}}

}}