Normalization, Cut-Elimination, and the Theory of Proofs
Inbunden, Engelska, 1992
Av A. M. Ungar, A M Ungar
579 kr
Tillfälligt slut
Produktinformation
- Utgivningsdatum1992-06-30
- Mått160 x 237 x 24 mm
- Vikt573 g
- SpråkEngelska
- Antal sidor248
- FörlagCenter for the Study of Language and Informat
- EAN9780937073834