phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Categorical Logic and Type Theory

Limba englezăengleză
Carte Carte broșată
Carte Categorical Logic and Type Theory B. Jacobs
Codul Libristo: 04079613
Editura Elsevier Science & Technology, mai 2001
This book is an attempt to give a systematic presentation of both logic and type theory from a categ... Descrierea completă
? points 381 b
770 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Higher-Order Logic and Type Theory John L. Bell / Carte broșată
common.buy 131 lei
Completions of Categories Joachim Lambek / Carte broșată
common.buy 239 lei
Torsion Theories, Additive Semantics, and Rings of Quotients Joachim Lambek / Carte broșată
common.buy 239 lei
Charles Nicolle, Pasteur's Imperial Missionary Kim Pelis / Copertă tare
common.buy 728 lei
Temporal Type Theory Patrick Schultz / Copertă tare
common.buy 769 lei
A variational theory of convolution- Type functionals Roberto Alicandro / Carte broșată
common.buy 325 lei
curând
America John Kinsella / Carte broșată
common.buy 54 lei
curând
Future Medical Engineering Based On Bionanotechnology - Proceedings Of The Final Symposium Of The Tohoku University 21st Century Center Of Excellence Yamaguchi Takami / Copertă tare
common.buy 2.533 lei
Judaism States Its Theology Jacob Neusner / Copertă tare
common.buy 680 lei
National Electrical Safety Code 2007 Handbook David J Marne / Copertă tare
common.buy 533 lei
Migration Without Borders Pecoud Antoine / Copertă tare
common.buy 812 lei

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.

Informații despre carte

Titlu complet Categorical Logic and Type Theory
Autor B. Jacobs
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 778
EAN 9780444508539
ISBN 0444508538
Codul Libristo 04079613
Editura Elsevier Science & Technology
Greutatea 1242
Dimensiuni 167 x 242 x 46

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Geometry > Algebraic geometry
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Applied mathematics
Mathematics & Science > Science: general issues > Philosophy of science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo