Skip to main content
PBS logo
 
 

Search - List of Books by Jan M. Smith

Total Books: 3
Mind and Method of the Legal Academic
2012 - Mind and Method of the Legal Academic (Hardcover)
ISBN-13: 9780857936547
ISBN-10: 0857936549
Genres: Reference, Law
  ?
TwentyFive Years of Constructive Type Theory Proceedings of a Congress held in Venice October 1995
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
  ?
Programming in MartinLf's Type Theory An Introduction
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
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.