Treatise on Intuitionistic Type Theory
Prisijungti
Siūlomos
Ieškomos
Įvykę mainai
Pagalba
Treatise on Intuitionistic Type Theory
Johan Georg Granström
Siūlyti šią knygą
Pridėti į norimas
Leidėjas:
Springer Netherlands
2011
212 psl.
ISBN 9789400717350
Viršelis: Kietas
Anglų k.
Negrožinė literatūra
Literatūra užsienio kalbomis
Matematika, statistika
Gamtos mokslai
Redaguoti informaciją
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra
