Home Advanced Search

Advanced Search - Page 1

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
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
Applications of sheaves. Proceedings Symposium on Appl. Sheaf Theory, Durham, 1977
  • DJVU
  • English
  • Year: 1979
  • Author: M. P. Fourman, C. J. Mulvey, D. S. Scott
Mehri Lexicon and English-Mehri Word-List
  • PDF
  • English
  • Year: 2006
  • Author: T. M. Johnstone
Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]
  • DJVU
  • English
  • Year: 1997
  • Author: Pitts Andrew M., Dybjer P. (eds.)
Nebenschilddrüse und endokrine Regulationen des Calciumstoffwechsels: Spontan-Hypoglykämie. Glucagon
  • PDF
  • German
  • Year: 1968
  • Author: P. Fourman, M. J. Levell, D. B. Morgan (auth.), Professor Dr. Joachim Kracht (eds.)
search