Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Introduction to Higher-Order Categorical Logic.   

Practical Foundations of Mathematics, Volume 59

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 ...
Limited preview - About this book

Applications of Categories in Computer Science: Proceedings of the London ...

M. P. Fourman, P. T. Johnstone, A. M. Pitts - Mathematics - 1992 - 339 pages
Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London ...
Limited preview - About this book

Category Theory

Steve Awodey - Philosophy - 2010 - 328 pages
No preview available - About this book

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

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 ...
Limited preview - About this book

The Semantics and Proof Theory of the Logic of Bunched Implications

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 ...
Limited preview - About this book

Locally Presentable and Accessible Categories

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 ...
Limited preview - About this book

Sets for Mathematics

F. William Lawvere, Robert Rosebrugh - Mathematics - 2003 - 261 pages
In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.
Limited preview - About this book

The Heritage of Thales

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 ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search