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)

by Professor of Mathematical Logic Giovanni Sambin and Jan Smith

0 ratings • 0 reviews • 0 shelved

Book cover for Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford Logic Guides.

Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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)

by Professor of Mathematical Logic Giovanni Sambin and Jan Smith

0 ratings • 0 reviews • 0 shelved

This Edition
Other Editions

ISBN10 1280819723
ISBN13 9781280819728
Publish Date 10 January 2010
Publish Status Active
Out of Print 11 February 2015
Publish Country US
Imprint Oxford University Press, USA

Format eBook
Pages 283
Language English