Dana S. Scott Books
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
By M. P. Fourman, London Mathematical Society, Research Symposium On Applications Of Sheaf Theory To Logic Algebra And Analysis 1977 Durham England, Dana S. Scott, C. J. Mulvey, Algebra Research Symposium On Applications Of Sheaf Theory To Logic
Read MoreKurt Godel and the foundations of mathematics
"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number...
Read More