Logical Studies, 1999, Volume 3

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

top stories

On the Izhevsk school of the mathematical logic (The opening chapter)

On Applied Theories Based on Superintuitionistic Logics. Nikolai N. Nepejvoda

Hierarchies and Machine Description of Small Subrecursive Classes. Anatoli P. Beltiukov

Programming Language C Interpretation of the Intuitionistic Propositional Calculus. Vyacheslav V. Pupyshev

Axiomatics for Novikov Completion of the Smetanich Logic. Alexander D. Yashin

Levels of Knowledge and Skills. Nikolai N. Nepejvoda

Informalizability as Logical Characteristic of Life. Nikolai N. Nepejvoda

Some Tactics of Struggle. Nikolai N. Nepejvoda