Logical Studies, 1999, Volume 3

Special Issue prepared by logicians and mathematicians of Udmurtia State University (Izhevsk, Russia)

top stories

Ижевская школа математической логики (вступительная статья). А.Д. Яшин

Автор: Admin

О прикладных теориях с суперинтуиционистскими логиками. Н.Н.Непейвода

Автор: Admin

Иерархии и машинное описание малых субрекурсивных классов. А.П.Бельтюков

Автор: Admin

Интерпретация интуиционистского исчисления высказываний на языке программирования С. В.В.Пупышев

Автор: Admin

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

Автор: Admin

Уровни знаний и умений. Н.Н. Непейвода

Автор: Admin

Неформализуемость как логическая характеристика жизни. Н.Н.Непейвода

Автор: Admin

О некоторых тактиках борьбы. Н.Н. Непейвода

Автор: Admin