Normalization, Cut-Elimination, and the Theory of Proofs
Inbunden, Engelska, 1992
Av A. M. Ungar
569 kr
Slutsåld
Produktinformation
- Utgivningsdatum1992-06-30
- Mått160 x 237 x 24 mm
- Vikt573 g
- FormatInbunden
- SpråkEngelska
- Antal sidor248
- FörlagCenter for the Study of Language and Informat
- ISBN9780937073834