
Semantics of Type Theory
- Undertitel
- Correctness, Completeness and Independence Results
- Författare
- T. Streicher
- Upplaga
- Softcover reprint of the original 1st ed. 1991
- ISBN
- 9781461267577
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-10-29
- Sidor
- 299