Zobrazuji výsledky 1 - 1 z 1 pro vyhledávání 'Martin-Lof, Per 1942-', doba hledání: 0,02 s. Upřesnit hledání
  1. 1

    Notes on constructive mathematics Autor Martin-Lof, Per 1942-

    Vydáno 1970
    Kniha

    Notes on constructive mathematics

Vyhledávací nástroje: