Результати пошуку

  • Показ 1 - 3 результатів із 3
Уточнити результати
  1. 1

    Proof Technology in Mathematics Research and Teaching

    Опубліковано 2019
    Отримати повний текст
    Електронний ресурс Книга
  2. 2

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

    Опубліковано 2020
    Отримати повний текст
    Електронний ресурс Книга
  3. 3

    Algebraic Perspectives on Substructural Logics

    Опубліковано 2021
    Отримати повний текст
    Електронний ресурс Книга