18 found
Order:
  1.  8
    Analysis in the Computable Number Field.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
  2.  15
    A Chain of Inclusion Relations in Computable Analysis.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
  3.  11
    Aberth Oliver. The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations. Proceedings of the American Mathematical Society, Vol. 30 , Pp. 151–156. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    Dieter Klaua. Konstruktive Analysis. Mathematische Forschungsberichte no. 11, VEB Deutscher Verlag der Wissenschaften, Berlin1961, VIII + 160 pp. [REVIEW]Brian H. Mayoh - 1973 - Journal of Symbolic Logic 38 (1):154-155.
  5.  6
    Markov A. A.. O Logiké Konstruktivnoj Matématiki. Véstnik Moskovskogo Univérsiteta, Séria I, Matématika, Méhanika, No. 2 , Pp. 7–29.Markov A. A.. On the Logic of Constructive Mathematics. English Translation of the Preceding. Moscow University Mathematics Bulletin, Vol. 25 , Pp. 45–60. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    A. A. Markov. An Approach to Constructive Mathematical Logic. Logic, Methodology and Philosophy of Science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, Edited by B. Van Rootselaar and J. F. Staal, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1968, Pp. 283–294. - A. A. Markov. Essai de Construction d'Une Logique de la Mathématique Constructive. Revue Internationale de Philosophic, Vol. 25 , Pp. 477–507. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  8
    Oliver Aberth. Analysis in the Computable Number Field. Journal of the Association for Computing Machinery, Vol. 15 , Pp. 275–299. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    Oliver Aberth. A Chain of Inclusion Relations in Computable Analysis. Proceedings of the American Mathematical Society, Vol. 22 , Pp. 539–548. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
  9.  17
    Oliver Aberth. Computable Analysis and Differential Equations. Intuitionism and Proof Theory, Proceedings of the Summer Conference at Buffalo N.Y. 1968, Edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam and London1970, Pp. 47–52. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  19
    Oliver Aberth. The Concept of Effective Method Applied to Computational Problems of Linear Algebra. Journal of Computer and System Sciences, Vol. 5 , Pp. 17–25. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
  11.  2
    Review: A. A. Markov, On the Logic of Constructive Mathematics. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
  12.  19
    Review: A. A. Markov, B. Van Rootselaar, J. F. Staal, An Approach to Constructive Mathematical Logic. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
  13.  6
    Review: I. D. Zaslavskii, E. Mendelson, Some Properties of Constructive Real Numbers and Constructive Functions. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.
  14.  9
    Robert I. Soare. Recursion Theory and Dedekind Cuts. Transactions of the American Mathematical Society, Vol. 140 , Pp. 271–294. - Robert I. Soare. Cohesive Sets and Recursively Enumerable Dedekind Cuts. Pacific Journal of Mathematics, Vol. 31 , Pp. 215–231. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Review: Oliver Aberth, The Concept of Effective Method Applied to Computational Problems of Linear Algebra. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84-84.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  9
    Review: Robert I. Soare, Recursion Theory and Dedekind Cuts; Robert I. Soare, Cohesive Sets and Recursively Enumerable Dedekind Cuts. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148-148.
  17.  22
    The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):85.
  18.  20
    I. D. Zaslavskij. Nékotoryé Svojstva Konstruktivnyh V隡éstvennyh Čisél I Konstruktivnyh Funkcij. Problémy Konstruktivnogo Napravléniá V Matématiké, 2 , Sbornik Robot, Edited by N. A. Šanin, Trudy Matématičéskogo Instituta Iméni V. A. Stéklova, Vol. 67, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, Pp. 385–457. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (3):454-454.