Substructural logics with restricted versions of structural rules

著者

• 上出, 哲広 カミデ, ノリヒロ

書誌事項

Substructural logics with restricted versions of structural rules

by Norihiro Kamide

Norihiro Kamide, 2000.3

注記

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

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