Oakleafbooks Online Library -- A Global Books Research Catalogue
And a Bookstore - We deliver Worldwide

You must enter a search term!
Browse Subject Headings
Publications written by: Sambin, Giovanni
Filter on:
Positive Topology : A New Practice in Constructive Mathematics
Positive Topology : A New Practice in Constructive Mathematics
9780199232888
Published: 2025
$ 218.35  
Twenty-Five Years of Constructive Type Theory : Proceedings of a Congress Held in Venice, October 1995
Twenty-Five Years of Constructive Type Theory : Proceedings of a Congress Held in Venice, October 1995
9780198501275
Published: 1998
$ 176.50  
Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
9780191606939
Published: 1998
$ 0.00  
Browse Subject Headings