Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results
Rings and categories of modules / Frank W. Anderson, Kent R. Fuller.
- Text
- New York : Springer-Verlag, [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA247 .A55 Off-site Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics / Silvio Ghilardi, Marek Zawadowski.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, ©2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text QA169 .G47 2002 Off-site Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .C388 1987 Off-site Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / D.H. Pitt [and others] (eds.).
- Text
- Berlin ; New York : Springer-Verlag, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S86 1991 Off-site Predicate transformer semantics / Ernest G. Manes.
- Text
- Cambridge ; New York : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .M342 1992 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
