Logical Studies No3(1999)

Special Issue prepared by logicians and mathematicians of Udmurtia State University (Izhevsk, Russia)
ISBN   5-85593-129-3  
Contents
On the Izhevsk school of the mathematical logic (The opening chapter) A.Yashin
Nikolai N. Nepejvoda On Applied Theories Based on Superintuitionistic Logics
Anatoli P. Beltiukov Hierarchies and Machine Description of Small Subrecursive Classes
Vyacheslav V. Pupyshev Programming Language C Interpretation of the Intuitionistic Propositional Calculus
Alexander D. Yashin Axiomatics for Novikov Completion of the Smetanich Logic
Nikolai N. Nepejvoda Levels of Knowledge and Skills
Nikolai N. Nepejvoda Informalizability as Logical Characteristic of Life
Nikolai N. Nepejvoda Some Tactics of Struggle