An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Паоло Манкосу, Річард Зак, Серджіо Гальван
2021
· 432 pp.
· Англійська
Середня: 0.00
| Автори | Паоло Манкосу, Річард Зак, Серджіо Гальван |
|---|---|
| Видавництво | Oxford University Press |
| Перекладачі | |
| Категорії: | |
| ISBN | 9780192895943 |
| Рік видання | 2021 |
| Мова | Англійська |
| Кількість сторінок | 432 |
0
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
0
