Brian H. Mayoh

Bibliography

Mayoh, Brian H. 1965. “Unsolvable Problems in the Theory of Computable Numbers.” in Formal Systems and Recursive Functions (Proceedings of the Eighth Logic Colloquium, Oxford, July 1963), edited by John Newsome Crossley and Michael A. E. Dummett, pp. 272–279. Studies in Logic and the Foundations of Mathematics n. 40. Amsterdam: North-Holland Publishing Co.
Mayoh, Brian H. 1974. “Extracting Information from Logical Proofs.” in Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on his Fiftieth Birthday, edited by Sören Stenlund, pp. 61–72. Synthese Library n. 63. Dordrecht: D. Reidel Publishing Co.