Sommerudsalg - Op til 60 % rabat
Alle 1 T. Streicher-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
![Cover for T. Streicher · Semantics of Type Theory: Correctness, Completeness and Independence Results - Progress in Theoretical Computer Science (Paperback Bog) [Softcover reprint of the original 1st ed. 1991 edition] (2012)](https://imusic.b-cdn.net/images/item/original/577/9781461267577.jpg?t-streicher-2012-semantics-of-type-theory-correctness-completeness-and-independence-results-progress-in-theoretical-computer-science-paperback-bog&class=scaled&v=1608735583)