5 found
Order:
  1.  3
    Mechanical Proof-Search and the Theory of Logical Deduction in the Ussr.S. J. Maslov, G. E. Mints & V. P. Orevkov - 1971 - Revue Internationale de Philosophie 25 (4=98):575-584.
    A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  1
    Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus.V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 67--69.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  1
    On Imbedding Operators.G. E. Mints & V. P. Orevkov - 1969 - In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York: Consultants Bureau. pp. 64--66.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables.G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-144.
  5.  4
    Logical and Logico-Mathematical Calculi.V. P. Orevkov (ed.) - 1971 - Providence, R.I., American Mathematical Society.
    Trudy Mat. Inst. Steklov. Proc. Steklov Inst. Math. l2l () () ON A BOUND FOR THE COMPLEXITY OF TERMS IN THE RESOLUTION METHOD UDC 51.01 : NK ...
    Direct download  
     
    Export citation  
     
    My bibliography