Аксиоматика полного по Новикову расширения логики Сметанича. А.Д.Яшин

Опубликовал: Admin, дата: вс, 2006-12-24 23:23
Автор: Яшин А.Д.

Logical Studies No.3 (1999)
А.Д.Яшин
Аксиоматика полного по Новикову расширения логики Сметанича
Дана аксиоматика гильбертовского типа для полного по П.С.Новикову расширения логики Сметанича, определяющей новую логическую константу.

по-русски