Gentzen style sequent calculi for some subsystems of intuitionistic logic

• • 菊池, 健太郎 キクチ ケンタロウ

• • 菊池, 健太郎 キクチ ケンタロウ

Gentzen style sequent calculi for some subsystems of intuitionistic logic

by Kentaro Kikuchi

Kentaro Kikuchi, 2002.3

大学図書館所蔵 件 / 全1件

• 北陸先端科学技術大学院大学 附属図書館 図

  DT-IS|| 85 ||20026020001

  OPAC

• 該当する所蔵館はありません
• すべての絞り込み条件を解除する

• WorldCat

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 2002, 博情第85号