Books by T. Streicher
No products found matching the selection.
-20%
Semantics of Type Theory: Correctness, Completeness and Independence Results
€115.18
€143.97
-20% with code BOOKS
In stock at our supplier