Lectures on linear logic

Web Site CiNii 所蔵館 58館

書誌事項

タイトル
"Lectures on linear logic"
責任表示
A.S. Troelstra
出版者
  • Center for the Study of Language and Information
出版年月
  • c1992
書籍サイズ
23 cm
シリーズ名/番号
  • : [hard]
  • : pbk
タイトル別名
  • Linear logic

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 191-196) and index

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ