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

Кожемяченко, Д. А., Россия

• Том 13, № 2 (2016): Современная логика: проблемы теории, истории и применения в науке - Символическая логика и основания математики
  Симуляция натуральных и секвенциальных исчислений
  Аннотация  PDF