?
A Graphical Deep Inference System for Intuitionistic Logic
Logique et Analyse. 2019. Vol. 245. P. 73-114.
Ma M., Пиетаринен А. Ю.
Язык:
английский
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!