Categorical Logic and Type Theory

Name: Categorical Logic and Type Theory
Brand: Elsevier Science & Technology
SKU: 9780444508539
Price: 570.57 PLN
Availability: InStock

Autor: B. Jacobs

Język:

Oprawa: Miękka

Wydawca: Elsevier Science & Technology

Dostępność: Dostępna u dostawcy

Wysyłamy za 14-21 dni

570.57 zł

This book is an attempt to give a systematic presentation of both logic and type theory from a categ...

Informacje o książce

Autor

B. Jacobs

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2001

strony

778

EAN

9780444508539

ISBN

0444508538

Enbook ID

04079613

Wydawca

Elsevier Science & Technology

Waga

1242

Wymiary

167 x 242 x 46

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Categorical Logic and Type Theory

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również