Reductive logic and proof-search : proof theory, semantics, and control

著者
    • Pym, David J.
    • Ritter, Eike
書誌事項

Reductive logic and proof-search : proof theory, semantics, and control

David J. Pym and Eike Ritter

(Oxford logic guides, 45)

Clarendon Press , Oxford University Press, 2004

  • : hbk

この図書・雑誌をさがす
注記

Includes bibliographical references (p. [197]-204) and index

関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA68255980
  • ISBN
    • 0198526334
  • LCCN
    2004049208
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Oxford,New York
  • ページ数/冊数
    xv, 208 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ