Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Constructive mathematics -- Congresses.
2
E-book
1998

Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995



Oxford : Clarendon Press ; New York : Oxford University Press, 1998

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results