マイナーなタブローはどうかなあ
自然演繹が初心者には分かりやすいし
メジャーなシーケント計算を最初から学ぶのもよかろうし