Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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 345 b
747.67 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Curând
Boskovice v historických fotografiích a pohlednicích Vladimír Filip / Carte Foaie
common.buy 64.94 lei
El circulo de los dias Ken Follett / Carte Copertă tare
common.buy 128.53 lei
HORROR TINY TAROT DECK & GDBK GMITTER ARIA Materiale tipărite Cărți
common.buy 82.71 lei
Rajz 10 lépésben - Állatok Heather Kilgour / Carte Copertă tare
common.buy 64.00 lei
Mis primeras 100 palabras EDWARD UNDERWOOD / Carte Carte broșată
common.buy 71.38 lei
Puzzle Avengers Endgame / Joc / Jucărie Puzzle
common.buy 48.94 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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

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

Ar putea de asemenea, să te intereseze

Categories for Types Crole / Carte Carte broșată
common.buy 477.59 lei
Foundations of Mathematics Kenneth Kunen / Carte Carte broșată
common.buy 138.10 lei
Completions of Categories Joachim Lambek / Carte Carte broșată
common.buy 135.91 lei
Set Theory Kenneth Kunen / Carte Carte broșată
common.buy 134.98 lei
Sketches of an Elephant: A Topos Theory Compendium Peter T Johnstone / Carte Copertă tare
common.buy 2 199.29 lei
Set Theory Thomas Jech / Carte Copertă tare
common.buy 1 076.98 lei
Top
Set Theory Thomas Jech / Carte Carte broșată
common.buy 1 076.98 lei
Set Theory An Introduction To Independence Proofs Kenneth Kunen / Carte Copertă tare
common.buy 385.21 lei
Top
Real World Haskell Bryan O´Sullivan / Carte Carte broșată
common.buy 279.84 lei
Sixty for Sax Alan Bullard / Materiale tipărite Note muzicale
common.buy 49.35 lei
Top
Master Dogen's Zazen Meditation Handbook Eihei Dogen / Carte Copertă tare
common.buy 67.33 lei
Higher-Order Logic and Type Theory John L. Bell / Carte Carte broșată
common.buy 144.12 lei
The Story of Atlantis & The Lost Lemuria William Scott-Elliot / Carte Carte broșată
common.buy 44.36 lei
National Health and Nutrition Examination Survey (NHANES): Ophthalmology Procedures Manual Centers for Disease Cont And Prevention / Carte Carte broșată
common.buy 106.19 lei
Momma Said Momma Said T L Hawkins / Carte Carte broșată
common.buy 56.94 lei
UNTITLED HA VINCE FLYNN / Carte Copertă tare
common.buy 130.30 lei
Quantum Entanglement: Part Two Ryan Stacks / Carte Carte broșată
common.buy 81.77 lei
Dark Psychology and Manipulation: This book helps to discover the secrets and techniques in Dark Psychology and daily used techniques to control mind. Sarah Fergie / Carte Carte broșată
common.buy 46.54 lei
Curând
Lughatuna Al-Fusha: Book 4 Samia Louis / Carte Carte broșată
common.buy 228.29 lei
Basketball: The 9 Essential Game Skills Dre Baldwin / Carte Carte broșată
common.buy 106.19 lei
An Introduction to Design Criteria for Aircraft Maintenance Hangars J. Paul Guyer / Carte Carte broșată
common.buy 151.08 lei
Platform for Change Analogique / Carte Copertă tare
common.buy 322.86 lei
A Chronology of the United States Marine Corps, 1947-1964 Ralph W Donnelly / Carte Carte broșată
common.buy 83.54 lei
Advances in Applications of Industrial Biomaterials Eva Pellicer / Carte Carte broșată
common.buy 539.32 lei

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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?