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

注記

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

• NII書誌ID(NCID): BA57367009
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: [Tatsunokuchi-machi, Ishikawa]
• ページ数/冊数: iv, 73 leaves
• 大きさ: 31 cm