Головна
Автори
Автори
Серджіо Гальван – книги і біографія
Серджіо Гальван – книги і біографія
1 товар
1 товар
Паперова книга «An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs», авторів Паоло Манкосу, Річард Зак, Серджіо Гальван – фото №1
0
0
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Паоло Манкосу Паоло Манкосу, Річард Зак, Серджіо Гальван
2628 грн
Доставка з UK 15 днів