Fourman, Michael Paul, 1950-....
Fourman, M. P., 1950-
Fourman, Michael P. (1950- ).
Fourman, Michael P.
Fourman, Michael Paul
VIAF ID: 3036595
4xx's: Alternate Name Forms (1)
- 400 1 _
Fourman, M. P.
- Applications of sheaves proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
- Applications of categories in computer science : proceedings of the LMS symposium, Durham, 1991
- The ''world's simplest axiom of choice'' fails
- Research Symp. on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, Eng., 1977. Applications of sheaves, 1979 (a.e.)
- Proc. Logic Colloquium '82, Proceedings of the Colloquium, Florence, 23–28 August 1982, (Stud. Logic Found. Math. 112)
- L.E.J. Brouwer Centenary Symposium: Proceedings of the conference held in Noordwijkerhout, 8–13 June 1981 (Stud. Logic Found. Math. 110)
- Handbook of Mathematical Logic (Stud. Logic Found. Math. 90)
- Connections between category theory and logic
- Applications of sheaves
- Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 (Lecture Notes in Mathematics Vol 753)
Countries of Publication (2)
Selected Publishers (2)
History of VIAF ID:3036595 (10)