Gå direkt till innehållet
Normalization, Cut-Elimination, and the Theory of Proofs
Spara

Normalization, Cut-Elimination, and the Theory of Proofs

Författare:
inbunden, 1992
Engelska
Lägsta pris på PriceRunner
Författare
A. M. Ungar
ISBN
9780937073834
Språk
Engelska
Vikt
544 gram
Utgivningsdatum
1992-06-01
Sidor
248