Home
english  russian 
  • ILCSDP
  • Voprosy Filosofii
  • News
  • Library
  • Software
  • forums
  • Useful links

Our projects

  • Logical Studies
    • Instructions for Authors
    • Archive of Journal Issues
      • All articles
      • Logical Studies No12 (2004)
      • Logical Studies No11 (2003)
      • Logical Studies No10 (2003)
      • Logical Studies No 9(2002)
      • Logical Studies No 8(2002)
      • Logical Studies No 7(2001)
      • Logical Studies No 6(2001)
      • Logical Studies No 5(2000)
      • Logical Studies No 4(2000)
      • Logical Studies No3(1999)
      • Logical Studies No2(1999)
      • Logical Studies No1(1998)
  • Archimed tournament

Our partners

  • Department of Logic Inst. of Philosophy, RAS
  • Russian Philosophical Society
  • VOPROSY FILOSOFII
  • IzevskSU

Search

  • search
  • categories
  • category browser

Publications

  • Papers by V.Smirnov
  • Logical Studies
  • Voprosy Filosofii

Active forum topics

  • Work begun
more

New forum topics

  • Work begun
more

Links

Gallery of Russian thinkers by D. Olshansky
See in russian

Home » Logical Studies » Archive of Journal Issues

Logical Studies No3(1999)

Submitted by Admin on Wed, 2006-11-22 17:03.

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

ILCSDP | Logic

©CopyLeft ILCSDP 2006. Published under GNU Free Documentation License. webmaster