giovanni-sambin-jan-m-smith
Retrieve the information about giovanni-sambin-jan-m-smith and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Twenty Five Years Of Constructive Type Theory
twenty-five_years_of_constructive_type_theory-proceedings_of_a_congress_held_in_
Twenty Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides Book 36)
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free