2012 - Mind and Method of the Legal Academic (Hardcover) ISBN-13: 9780857936547 ISBN-10: 0857936549 Genres: Reference, Law ? 1998 - Twentyfive Years of Constructive Type Theory Proceedings of a Congress Held in Venice October 1995 [Oxford Logic Guides] (Hardcover) ISBN-13: 9780198501275 ISBN-10: 0198501277 Genres: Computers & Technology, Science & Math ? 1990 - Programming in Martinlf's Type Theory an Introduction [International Series of Monographs on Computer Science] (Hardcover) ISBN-13: 9780198538141 ISBN-10: 0198538146 Genres: Computers & Technology, Science & Math ? |