Oxford Logic Guides; Oxford Science Publications

1 total work

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

by Professor of Mathematical Logic Giovanni Sambin and Jan Smith

Published 10 January 2010