| Paul Taylor - Mathematics - 1999 - 572 pages
Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially ... | |
| Saunders MacLane, Ieke Moerdijk - Mathematics - 2012 - 630 pages
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as ... | |
| David J. Pym - Computers - 2002 - 287 pages
This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines ... | |
| Jiří Adámek (ing.), J. Rosicky - Mathematics - 1994 - 316 pages
The concepts of a locally presentable category and an accessible category have turned out to be useful in formulating connections between universal algebra, model theory, logic ... | |
| W.S. Anglin, J. Lambek - Science - 1998 - 331 pages
The authors' novel approach to some interesting mathematical concepts - not normally taught in other courses - places them in a historical and philosophical setting. Although ... | |
| |