Normalization, Cut-Elimination, and the Theory of Proofs
Häftad, Engelska
Av A. M. Ungar
399 kr
Slutsåld
Produktinformation
- FormatHäftad
- SpråkEngelska
- Antal sidor248
- FörlagCenter for the Study of Language and Informat
- ISBN9780937073827
Hoppa till sidans huvudinnehåll