Logics of proofs and justifications

Author(s)

• Kuznets, Roman
• Studer, Thomas

Bibliographic Information

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

Note

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

• NCID: BC04354502
• ISBN:
  • 9781848901681
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [London]
• Pages/Volumes: xvi, 225 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA82085144