Publications written by: Sambin, Giovanni
|
|
||||
Positive Topology : A New Practice in Constructive Mathematics 9780199232888 Published: 2026 $ 156.25 |
Twenty-Five Years of Constructive Type Theory : Proceedings of a Congress Held in Venice, October 1995 9780198501275 Published: 1998 $ 170.01 |
Twenty Five Years of Constructive Type Theory 9780191606939 Published: 1998 $ 0.00 |
||
Showing 1 to 3 of 3 (1 Pages)