Proof theory : sequent calculi and related formalisms

Web Site CiNii Available at 13 libraries

Bibliographic Information

Title
"Proof theory : sequent calculi and related formalisms"
Statement of Responsibility
Katalin Bimbó
Publisher
  • CRC Press
Publication Year
  • c2015
Book size
24 cm
Series Name / No
  • : hardback

Search this Book/Journal

Notes

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

Related Books

See more

Details 詳細情報について

Back to top