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

Higher-Order Logic and Type Theory

Limba englezăengleză
Carte Carte broșată
Carte Higher-Order Logic and Type Theory John L. Bell
Codul Libristo: 38621442
Editura Cambridge University Press, martie 2022
The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type...
? points 65 b
130 lei
În depozitul extern Expediem în 14-18 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
Women Who Run with the Wolves Clarissa Pinkola Estés / Carte broșată
common.buy 53 lei
top
To Mock a Mockingbird: and Other Logic Puzzles Raymond Smullyan / Carte broșată
common.buy 79 lei
top
3D Tennis 2 in 1 Taktikboard und Trainingsbuch Theo Von Taane / Carte broșată
common.buy 60 lei
Crafting Interpreters / Carte broșată
common.buy 259 lei
You Look Like a Thing and I Love You / Carte broșată
common.buy 67 lei
Fce teachers book successful. 10 practice test Betsis Andrew / Carte
common.buy 145 lei
Bunny Tales Izabella St James / Carte broșată
common.buy 106 lei
Spiritual Depression Martyn Lloyd Jones / Carte broșată
common.buy 53 lei
Coatings Formulation Bodo Müller / Copertă tare
common.buy 1.092 lei
Ikigami: The Ultimate Limit, Vol. 8 Motoro Mase / Carte broșată
common.buy 59 lei
LLL Algorithm Phong Q. Nguyen / Copertă tare
common.buy 1.247 lei
Completions of Categories Joachim Lambek / Carte broșată
common.buy 236 lei
Torsion Theories, Additive Semantics, and Rings of Quotients Joachim Lambek / Carte broșată
common.buy 236 lei
A variational theory of convolution- Type functionals Roberto Alicandro / Carte broșată
common.buy 321 lei
Categorical Logic and Type Theory B. Jacobs / Carte broșată
common.buy 761 lei

The Element provides a wide-ranging, but unified account of higher-order logic and contemporary type theory.

Informații despre carte

Titlu complet Higher-Order Logic and Type Theory
Autor John L. Bell
Limba engleză
Legare Carte - Carte broșată
Data publicării 2022
Număr pagini 75
EAN 9781108986908
ISBN 1108986900
Codul Libristo 38621442
Editura Cambridge University Press
Greutatea 142
Dimensiuni 228 x 152 x 8

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Set theory
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
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