Search
Lexile Level
AR Level
AR Level
Positive Topology: A New Practice in Constructive Mathematics 9780199232888 by
Sambin, Giovanni -
Oxford University Press,
-2026
Dewey: 510
N/A
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 9780198501275 by
Sambin, Giovanni -
OUP Oxford,
-1998
Dewey: 511.3
N/A