Reading Length
Home
Speed Tests
Login
Giovanni Sambin
Identifiers
Open Library
OL2667369A
Top Subjects
Constructive mathematics (1)
Books by Giovanni Sambin
Total count: 3
Twenty-Five Years of Constructive Type Theory
Oxford University Press
1998-01-01
Twenty-Five Years of Constructive Type Theory
Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
Oxford University Press, USA
1998-11-13
Basic Picture
Structures for Constructive Topology
Oxford University Press
2019-01-01
