Professor of Mathematical Logic Giovanni Sambin

1 book • 1 series

Jan 10, 2010
Cover of Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides. (Oxford Logic Guides; Oxford Science Publications)