Methods of Cut-Elimination

Methods of Cut-Elimination

Matthias BaazAlexander Leitsch
Methods of Cut-Elimination
2011ISBN 9789400703193
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisMatematika, statistikaGamtos mokslai
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra