Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)

New
Hardcover
2001
$103.56

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

Synopsis

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.

$103.56

Save:$29.33 (22%)

Quantity

20 in stock

More Information

Format: Hardcover
Pages: 784
Edition: Reprint
Publisher: Elsevier Science
Published: 05 Oct 2001
ISBN 10: 0444508538
ISBN 13: 9780444508539

Categorical Logic and Type Theory: Volume 141 (Studies in Logic and the Foundations of Mathematics)

New

$103.56

Synopsis

$103.56

More Information