Tag: Giovanni Sambin

Twenty Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides Book 36) 1st Edition by...

  Ebook Info Published: 1998 Number of pages: 293 pages Format: PDF File Size: 14.04 MB Authors: Giovanni...
Read more

Advertisement

spot_img