Order:
  1.  11
    Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979.Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) - 1979 - Aalborg: distruberet af Aalborg Universitetsforlag.
  2.  24
    Frank B. Cannonito. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 , pp. 376–392.B. H. Mayoh - 1968 - Journal of Symbolic Logic 33 (1):121.
  3.  36
    Viola: A new visual programming language designed for the rapid development of interacting agent systems.C. J. Topping, M. J. Rehder & B. H. Mayoh - 1999 - Acta Biotheoretica 47 (2):129-140.
    The construction of complex simulation models and the application of new computer hardware to ecological problems has resulted in the need for many ecologists to rely on computer programmers to develop their modelling software. However, this can lead to a lack of flexibility and understanding in model implementation and in resource problems for researchers. This paper presents a new programming language, Viola, based on a simple organisational concept which can be used by most researchers to develop complex simulations much more (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  35
    Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):641-642.
  5. Review: Frank B. Cannonito, Hierarchies of Computable Groups and the Word Problem. [REVIEW]B. H. Mayoh - 1968 - Journal of Symbolic Logic 33 (1):121-121.
  6.  41
    (1 other version)Rabin M. O.. Computable algebraic systems. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 134–138.Rabin Michael O.. Computable algebra, general theory and theory of computable fields. Transactions of the American Mathematical Society, vol. 95 , pp. 341–360. [REVIEW]B. H. Mayoh - 1967 - Journal of Symbolic Logic 32 (3):412-413.
  7.  30
    (1 other version)Review: Rolf Schock, Logik. [REVIEW]B. H. Mayoh - 1969 - Journal of Symbolic Logic 34 (4):642-642.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  21
    (1 other version)Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
  9.  22
    (1 other version)Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):651-652.