Home Advanced Search

Advanced Search - Page 1

Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991
  • PDF
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts (Editors)
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
  • DJVU
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts
Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991
  • DJVU
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
  • PDF
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts
Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, no cover)
  • PDF
  • English
  • Year: 2021
  • Author: D. Sannella. M Fourman, H. Peng and P. Wadler
Introduction to Computation: Haskell, Logic and Automata (free, non-retail version, with cover)
  • PDF
  • English
  • Year: 2021
  • Author: D. Sannella. M Fourman, H. Peng and P. Wadler
Topos theory
  • PDF
  • Year: 1977
  • Author: P. T. Johnstone
Topos theory
  • DJVU
  • English
  • Year: 1977
  • Author: P. T. Johnstone
Notes on Logic and Set Theory
  • PDF
  • English
  • Year: 1987
  • Author: P. T. Johnstone
Notes on Logic and Set Theory
  • DJVU
  • English
  • Year: 1987
  • Author: P. T. Johnstone
search