Siirry suoraan sisältöön
Normalization, Cut-Elimination, and the Theory of Proofs
Tallenna

Normalization, Cut-Elimination, and the Theory of Proofs

Kirjailija:
sidottu, 1992
englanti
Kirjailija
A. M. Ungar
ISBN
9780937073834
Kieli
englanti
Paino
544 grammaa
Julkaisupäivä
1.6.1992
Sivumäärä
248