An introduction to proof theory : normalization, cult-elimination, and consistency proofs /
Uloženo v:
| Hlavní autoři: | , , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Oxford :
Oxford University Press,
2021
|
| Vydání: | First edition |
| Témata: |
| Fyzický popis: | xii, 418 stran |
|---|---|
| ISBN: | 978-0-19-289594-3 978-0-19-289593-6 |