Buy Used and New Giovanni Sambin Books

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

by Giovanni Sambin, Jan Smith

ISBN 13: 9780198501275

Format: Hardcover (292 pages)
Publisher: OUP Oxford
Published: 15 Oct 1998

Save for later