VISOMS MAINOMOMS KNYGOMS –50%! ☃️ Nuolaida taikoma krepšelyje iki gruodžio 31 d.

Treatise on Intuitionistic Type Theory

Siūlomos Ieškomos Įvykę mainai Pagalba

Treatise on Intuitionistic Type Theory

Johan Georg Granström

Leidėjas: Springer Netherlands

2011212 psl.ISBN 9789400717350

Viršelis: KietasAnglų k.

Negrožinė literatūra Literatūra užsienio kalbomis Matematika, statistika Gamtos mokslai

Šią knygą siūlo (0)

Šios knygos nori (0)