Szukaj

Wyniki wyszukiwania

• Category Theory and Set Theory as Theories about Complementary Types of Universals

  David Ellerman

  145-162

  05.08.2016
• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

  Ivo Pezlar

  473-508

  28.04.2017
• Existential Import and Relations of Categorical and Modal Categorical Statements

  Jiří Raclavský

  271-300

  31.08.2017
• A Monadic Second-Order Version of Tarski’s Geometry of Solids

  Patrick Barlatier, Dapoigny

  55-99

  19.10.2023
• Externally compatible Abelian groups of the type (2,1,0)

  Krystyna Mruczek-Nasieniewska

  239-250

  15.03.2007
• The Rule of Existential Generalisation and Explicit Substitution

  Jiří Raclavský

  105-141

  10.10.2021
• Why topology in the minimalist foundation must be pointfree

  Maria Emilia Maietti, Giovanni Sambin

  167–199

  12.06.2013