T Streicher
Semantics of Type Theory: Correctness, Completeness and Independence Results (Softcover Reprint of the Original 1st 1991)
By
T Streicher
Paperback
AED
421
28
AEDĀ 541.00
22% OFF
Turbo
Free Delivery
1 - 2 Nov