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 Copertă tare
Carte Proof, Computation and Agency Amitabha Gupta
Codul Libristo: 05322970
Editura Springer, aprilie 2011
This overview of modern logic and its relationship with other disciplines includes several articles... Descrierea completă
? points 488 b
986 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

Musical Hans-Günther Kölz / Note muzicale
common.buy 65 lei
Malleus Maleficarum, das ist Heinrich Institoris / Carte broșată
common.buy 214 lei
Winter in Liechtenstein. Bd.2 Jens Dittmar / Copertă tare
common.buy 82 lei
Mendelssohn Bartholdy, Felix - Variations sérieuses op. 54 Felix Mendelssohn Bartholdy / Note muzicale
common.buy 54 lei
EU as global actor and its influence on the global gender regime Stefanie Kessler / Carte broșată
common.buy 292 lei
Proceedings Of The 12th Asian Logic Conference Jorg Brendle / Copertă tare
common.buy 815 lei
Ask Wendy Wendy Williams / Carte broșată
common.buy 69 lei
Zweiachsige Nachformeinrichtungen G. Augsten / Carte broșată
common.buy 354 lei
Marihuana and Medicine Stig Agurell / Copertă tare
common.buy 1.273 lei
Schriften. Band 4 Carl Wilhelm Salice Contessa / Copertă tare
common.buy 925 lei
Water trips : Itinerari acquatici ai tempi della crisi idrica Lorenzo Monaco / Carte broșată
common.buy 91 lei
Tubby Meets Katrina Tony Dunbar / Copertă tare
common.buy 112 lei
Preliminary Studies / Note muzicale
common.buy 48 lei
Sword Empire Robert Leader / Carte broșată
common.buy 71 lei
Montagestrukturplanung Fur Variantenreiche Serienprodukte Ulrich Zeile / Carte broșată
common.buy 354 lei
Transgenerational Entrepreneurship - Exploring Growth and Performance in Family Firms Across Generations / Copertă tare
common.buy 604 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 Amitabha Gupta, Rohit Parikh, Johan F. A. K. van Benthem
Limba engleză
Legare Carte - Copertă tare
Data publicării 2011
Număr pagini 372
EAN 9789400700796
ISBN 9400700792
Codul Libristo 05322970
Editura Springer
Greutatea 734
Dimensiuni 246 x 160 x 27

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Philosophy & Religion > Philosophy > History of philosophy, philosophical traditions
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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