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.   

The Heritage of Thales

W.S. Anglin, J. Lambek - Science - 2012 - 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

Categorical logic

Andrew M. Pitts - Logic, Symbolic and mathematical - 1995 - 94 pages
Abstract: "This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists."
Snippet view - About this book

Toposes and Local Set Theories: An Introduction

John L. Bell - Mathematics - 2008 - 267 pages
This text introduces topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic ...
Limited preview - About this book

Categorical Logic and Type Theory

B. Jacobs - Mathematics - 1999 - 760 pages
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its ...
Limited preview - About this book

Mathematical Applications of Category Theory

American Mathematical Society. Meeting - Mathematics - 1984 - 307 pages
Mathematicians interested in understanding the directions of current research in set theory will not want to overlook this book, which contains the proceedings of the AMS ...
Limited preview - About this book

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