Categorical Logic and Type Theory, 141

by Jacobs, B.
ISBN: 9780444508539
Availability:
null

Available Offers

Pickup at {0} Out of stock at {0} Check other stores
FREE
Ship to Me
$3.99

Overview

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 intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
  • Format: Trade Paperback
  • Author: Jacobs, B.
  • ISBN: 9780444508539
  • Condition: New
  • Dimensions: 9.21 x 1.55
  • Number Of Pages: 778
  • Publication Year: 2001
Language: English