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

Proof, Computation and Agency

Limba englezăengleză
Carte Carte broșată
Carte Proof, Computation and Agency Johan Van Benthem
Codul Libristo: 05323054
Editura Springer, mai 2013
This overview of modern logic and its relationship with other disciplines includes several articles... Descrierea completă
? points 488 b
984 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

top
From the Depths MIKE ED ASHLEY / Carte broșată
common.buy 59 lei
Mask of Masculinity Lewis Howes / Copertă tare
common.buy 112 lei
Theory of Logical Calculi Ryszard Wójcicki / Carte broșată
common.buy 1.901 lei
Nelson Mathematics 7 Student Book Marian Small / Carte broșată
common.buy 491 lei
Parietal Cortex of Monkey and Man Juhani Hyvarinen / Carte broșată
common.buy 640 lei
To Speak is Never Neutral Luce Irigaray / Copertă tare
common.buy 1.439 lei
Handbook of Philosophical Logic Dov M. Gabbay / Carte broșată
common.buy 984 lei
Computational Logic in Multi-Agent Systems Nils Bulling / Carte broșată
common.buy 325 lei
Les Conflits Humains-Faune En Afrique Food and Agriculture Organization of the United Nations / Carte broșată
common.buy 188 lei
Computational Semantics with Functional Programming Jan van EijckChristina Unger / Copertă tare
common.buy 913 lei
No Go Zones: How Sharia Law Is Spreading in America Raheem Kassam / Digital
common.buy 90 lei
Raising Children in Love, Justice and Truth Barry Long / Carte broșată
common.buy 106 lei
Computational Intelligence in Multimedia Processing: Recent Advances Aboul-Ella Hassanien / Copertă tare
common.buy 1.615 lei
Set Theory for Computing Domenico Cantone / Carte broșată
common.buy 984 lei
Computational Intelligence and Intelligent Systems Zhihua Cai / Carte broșată
common.buy 640 lei
Fights for Rights Ronald W. Eades / Carte broșată
common.buy 51 lei

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.§

Informații despre carte

Titlu complet Proof, Computation and Agency
Autor Johan Van Benthem, Amitabha Gupta, Rohit Parikh
Limba engleză
Legare Carte - Carte broșată
Data publicării 2013
Număr pagini 372
EAN 9789400735811
ISBN 9400735812
Codul Libristo 05323054
Editura Springer
Greutatea 605
Dimensiuni 157 x 22 x 21

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > History of philosophy, philosophical traditions > East Asian & Indian philosophy
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: epistemology & theory of knowledge
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Mathematical theory of computation
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