George Metakides (metakides)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Metakides, George, ed. 1982. Patras Logic Symposion. Studies in Logic and the Foundations of Mathematics n. 109. Amsterdam: North-Holland Publishing Co.
Metakides, George and Nerode, Anil. 1975. “Recursion Theory and Algebra.” in Algebra and Logic, edited by John Newsome Crossley, pp. 209–219. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Metakides, George and Nerode, Anil. 1982. “The Introduction of Non-Recursive Methods into Mathematics.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 319–335. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.