History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290)
2000368 pages
Springer·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) (2000)
History and Philosophy of Constructive Type Theory (SYNTHESE LIBRARY Volume 290) (2000)
Springer
Springer
Hardcover
ISBN 10: 0792361806
ISBN 13: 9780792361800