Risultati della ricerca

  • Mostra 1 - 3 risultati su 3
Raffina i risultati
  1. 1

    Proof Technology in Mathematics Research and Teaching

    Pubblicazione 2019
    Testo
    Elettronico Libro
  2. 2

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

    Pubblicazione 2020
    Testo
    Elettronico Libro
  3. 3

    Algebraic Perspectives on Substructural Logics

    Pubblicazione 2021
    Testo
    Elettronico Libro