Semantics of type theory: correctness, completeness and independence results Progress in theoretical computer science Streich

BELUM update harga. Semantics of type theory: correctness, completeness and independence results Progress in theoretical computer science Streicher, Thomas 1991 Birkhauser 9781461267577, 1461267579, 9781461204336

Stock Status: In Stock
Delivery Status: 1-3 days

Rp3
Excluding Tax
pcs

There is no description for this product yet.

Similar Products