Boek

Normalization, Cut-Elimination & the Theory of Proofs

«

Score:

(3/0)

Aantal recensies:

0

Aantal keer getipt:

0

Aantal keer gelezen:

0

Auteur(s):

A.M. Ungar

Categorie:

ISBN

9780937073834

Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Er zijn nog geen recensies voor dit boek.

Meer recensies »

Normalization, Cut-Elimination & the Theory of Proofs

Welkom op Boeklezers.nl

Recensies van Normalization, Cut-Elimination & the Theory of Proofs door A.M. Ungar