4 found
Sort by:
  1. 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:575-584.
    A survey of works on automatic theorem-proving in the ussr 1964-1970. the philosophical problems are not touched.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. V. P. Orevkov (ed.) (1971/1974). 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  
     
    My bibliography  
     
    Export citation  
  3. G. E. Mints & V. P. Orevkov (1969). On Imbedding Operators. In. In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York, Consultants Bureau. 64--66.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. V. P. Orevkov (1969). Undecidability of a Class of Formulas Containing Just One Single-Place Predicate Variable in Modal Calculus. In. In A. O. Slisenko (ed.), Studies in Constructive Mathematics and Mathematical Logic. New York, Consultants Bureau. 67--69.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation