Вариант сопоставления диалоговых игр Лоренцена с интуиционистским секвенциальным исчислением

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

Original language	Undefined
Title of host publication	Материалы международной научной конференции “Седьмые Смирновские чтения по логике”
Pages	25-27
State	Published - 2011
Externally published	Yes

ID: 4788984