Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) Buy on Amazon
Facebook LinkedIn

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

Author T. Streicher
Publisher Birkhäuser
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
119.00 USD
Buy New on Amazon 🇺🇸
Book Details
Author(s) T. Streicher
Publisher Birkhäuser
ISBN / ASIN 1461267579
ISBN-13 9781461267577
Marketplace United States 🇺🇸
Donate to EbookNetworking
← No Prev
No Next →