Michael P. Fourman

Bibliography

Fourman, Michael P. 1977. “The Logic of Topoi.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 1053–1090. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Fourman, Michael P. 1982. “Notions of Choice Sequence.” 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. 91–105. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Fourman, Michael P. 1984. “Continuous Truth I. Non-constructive Objects.” in Logic Colloquium ’82 – Proceedings of the Colloquium Held in Florence 23–28 August, 1982, edited by Gabriele Lolli, Giuseppe Longo, and Annalisa Marcja, pp. 161–180. Studies in Logic and the Foundations of Mathematics n. 112. Amsterdam: North-Holland Publishing Co.
Fourman, Michael P. and Grayson, R. J. 1982. “Formal Spaces.” 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. 107–122. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.