LIBROS DEL AUTOR: giovanni sommaruga

3 resultados para LIBROS DEL AUTOR: giovanni sommaruga

giovanni sommaruga Eliminar filtro Quitar filtros
  • Foundational Theories of Classical and Constructive Mathematics
    Giovanni Sommaruga
    The book 'Foundational Theories of Classical and Constructive Mathematics' is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/...
    Disponible

    133,74 €

  • History and Philosophy of Constructive Type Theory
    Giovanni Sommaruga
    A comprehensive survey of Martin-Löf’s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic prese...
    Disponible

    207,27 €

  • Formal Theories of Information
    Giovanni Sommaruga
    ...
    Disponible

    66,34 €