Як парость виноградної лози, плекайте мову 👉 UA
Главная
Авторы
Авторы
Серхио Гальван — книги и биография
Серхио Гальван — книги и биография
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 грн
Доставка c UK 15 дней