Positive Topology: A New Practice in Constructive Mathematics
Autor Giovanni Sambin
30 oct 2025
Hardback
Preț: 692.80 lei 899.73 lei
22-36 zile
-23%
Oxford Logic Guides
Twenty Five Years of Constructive Type Theory
Autor Giovanni Sambin et al.
15 oct 1998
Hardback
Preț: 624.10 lei 1018.67 lei
40-51 zile
-39%