TY - BOOK AU - 菊池, 健太郎 TI - Gentzen style sequent calculi for some subsystems of intuitionistic logic PB - Kentaro Kikuchi PY - 2002 EP - iv, 73 leaves UR - https://ci.nii.ac.jp/ncid/BA57367009 ER -
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル