Introduction to Computation: Haskell, Logic and Automata (Undergraduate Topics in Computer Science) 2022 · ENGLISH · EPUB View details →
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 1979 · ENGLISH · PDF View details →
Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977 1979 · ENGLISH · PDF View details →