Categorical Logic and Type Theory: Volume 141 by Jacobs, B.

Categorical Logic and Type Theory: Volume 141 (Paperback) (ISBN-13: 9780444508539)

Vendor: B. Jacobs
Product type: Books
Format: Paperback
$120.00
$120.00
$120.00
Subtotal: $120.00
Categorical Logic and Type Theory: Volume 141 by Jacobs, B.

Categorical Logic and Type Theory: Volume 141

$120.00
Categorical Logic and Type Theory: Volume 141 by Jacobs, B.

Categorical Logic and Type Theory: Volume 141

$120.00
Format: Paperback
Description
Description
x
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.

Author: B. Jacobs
ISBN-10: 0444508538
ISBN-13: 9780444508539
Publisher: Elsevier Science
Language: English
Published: 05/10/2001
Pages: 778
Format: Paperback
Weight: 2.36lbs
Size: 9.21h x 6.14w x 1.55d

Recently Viewed Products