Sequents and trees : an introduction to the theory and applications of propositional sequent calculi

Author(s)

• Indrzejczak, Andrzej

Bibliographic Information

Sequents and trees : an introduction to the theory and applications of propositional sequent calculi

Andrzej Indrzejczak

（Studies in universal logic）

Birkhäuser , Springer, c2021

Note

Includes bibliographical references (p. 315-331) and index

Details

• NCID: BC05036557
• ISBN:
  • 9783030571443
• Country Code: xx
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [S.l.],[Cham]
• Pages/Volumes: xvi, 345 p.
• Size: 25 cm
• Parent Bibliography ID:
  • BA85770407