Логико-философские штудии

Kozhemiachenko, Daniil, Россия

• Том 16, № 1-2 (2018) - Символическая логика и основания математики
  Simulations of propositional single-succedent intuitionistic sequent calculi
  Аннотация  PDF (English)