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.    

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

Categorical Logic and Type Theory

Bart Jacobs - Mathematics - 2001 - 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

Toposes and Local Set Theories: An Introduction

J. 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

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