5 found
Order:
  1.  3
    S. J. Maslov, G. E. Mints & V. P. Orevkov (1971). Mechanical Proof-Search and the Theory of Logical Deduction in the Ussr. 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
    V. P. Orevkov (1969). Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus. In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York, Consultants Bureau 67--69.
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  1
    G. E. Mints & V. P. Orevkov (1969). On Imbedding Operators. In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York, Consultants Bureau 64--66.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. G. E. Minc, V. P. Orevkov & E. Mendelson (1970). Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables. Journal of Symbolic Logic 35 (1):143-144.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  4
    V. P. Orevkov (ed.) (1971). Logical and Logico-Mathematical Calculi. 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