Proof theory : : sequent calculi and related formalisms / / Katalin Bimbo.
Saved in:
Superior document: | Discrete Mathematics and its Applications |
---|---|
VerfasserIn: | |
Place / Publishing House: | Boca Raton, Florida : : CRC Press,, 2015. 2015 |
Year of Publication: | 2015 |
Language: | English |
Series: | Discrete mathematics and its applications.
|
Online Access: | |
Physical Description: | 1 online resource (386 pages). |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Bibliography: | Includes bibliographical references. |
---|---|
ISBN: | 9781466564664 9781466564688 (ebook) |
Hierarchical level: | Monograph |
Statement of Responsibility: | Katalin Bimbo. |