Search Results

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Proof Technology in Mathematics Research and Teaching

    Published 2019
    Get full text
    Electronic Book
  2. 2

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

    Published 2020
    Get full text
    Electronic Book
  3. 3

    Algebraic Perspectives on Substructural Logics

    Published 2021
    Get full text
    Electronic Book