Proof Theory: Sequent Calculi and Related Formalisms
(Bog, Paperback / softback, Engelsk)
Forlag:
Taylor & Francis Ltd
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781032920771
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Formater og udgaver
Beskrivelse
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, this book presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Taylor & Francis Ltd |
| Forfatter | Katalin Bimbo |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 14-10-2024 |
| Første udgivelsesår | 2024 |
| Serie | Discrete Mathematics and Its Applications |
| Illustrationer | 13 Illustrations, black and white |
| Originalsprog | United Kingdom |
| Sideantal | 386 |
| Indbinding | Paperback / softback |
| Forlag | Taylor & Francis Ltd |
| Sideoplysninger | 386 pages, 13 Illustrations, black and white |
| Mål | 156 x 234 x 24 |
| ISBN-13 / EAN-13 | 9781032920771 |