Logics of proofs and justifications

著者

    • Kuznets, Roman
    • Studer, Thomas

書誌事項

Logics of proofs and justifications

Roman Kuznets and Thomas Studer

（Studies in logic / series editor, Dov Gabbay, v. 80 . Mathematical logic and foundations）

College Publications, c2019

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

この図書・雑誌をさがす

注記

Includes bibliographical references (p[205]-220) and index

関連文献： 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BC04354502
  • ISBN
    • 9781848901681
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    [London]
  • ページ数/冊数
    xvi, 225 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ