Resultats de la cerca

  • Mostrar 1 - 3 resultats de 3
Refinar resultats
  1. 1

    Proof Technology in Mathematics Research and Teaching

    Publicat 2019
    Obtenir text complet
    Electrònic Llibre
  2. 2

    Structures Mères: Semantics, Mathematics, and Cognitive Science

    Publicat 2020
    Obtenir text complet
    Electrònic Llibre
  3. 3

    Algebraic Perspectives on Substructural Logics

    Publicat 2021
    Obtenir text complet
    Electrònic Llibre