https://www.ebooknetworking.net/books_detail-1461267579.html

Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Name: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)
Author: T. Streicher
ISBN: 9781461267577

AuthorT. Streicher

PublisherBirkhäuser

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

119.00 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)T. Streicher

PublisherBirkhäuser

ISBN / ASIN1461267579

ISBN-139781461267577

MarketplaceUnited States 🇺🇸