Proof theory : sequent calculi and related formalisms

著者

• Bimbó, Katalin

書誌事項

Proof theory : sequent calculi and related formalisms

Katalin Bimbó

（Discrete mathematics and its applications / Kenneth H. Rosen, series editor）（A Chapman & Hall book）

CRC Press, c2015

• : hardback

注記

Includes bibliographical references (p. 364-374) and index

詳細情報

• NII書誌ID(NCID): BB1666620X
• ISBN:
  • 9781466564664
• LCCN: 2014022998
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boca Raton
• ページ数/冊数: x, 376 p.
• 大きさ: 24 cm
• 分類:
  • DC23 : 511.36
• 件名:
  • LCSH : Proof theory
  • LCSH : Mathematics
  • LCSH : Set theory
• 親書誌ID:
  • BA25247299
  • BB04603869