[Davide Fazio, Antonio Ledda, Francesco Paoli]
O1
9783030521653 EUR109.99
Springer 2021-11-07 Paperback
Logic/algebra/proof theory and constructive mathematics
1 共有: 1条记录