LIBRISTO
LIBROAMANTO
obligatoriu
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 Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Livrare gratuită pentru comenzile peste 349,00 lei.

Dependence Logic

A New Approach to Independence Friendly Logic

Limba englezăengleză
Carte Copertă tare
Carte Dependence Logic Jouko Väänänen
Codul Libristo: 02048574
Editura Cambridge University Press, mai 2007
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history,... Descrierea completă
? points 456 b
989.37 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri


Clienții au cumpărat de asemenea


Biljna kuharica 2023 Marina Pavić / Carte Carte broșată
common.buy 148.66 lei
Altwerden ist nichts für Feiglinge Joachim Fuchsberger / Carte Copertă tare
common.buy 100.07 lei
Les droits des minorités en RD Congo Mokelwa / Carte Carte broșată
common.buy 116.34 lei
Orsi Libro da Colorare 1, 2 & 3 Nick Snels / Carte Carte broșată
common.buy 129.37 lei
Schnelles Denken, langsames Denken Daniel Kahneman / Carte Carte broșată
common.buy 90.28 lei

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.

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 Dependence Logic
Limba engleză
Legare Carte - Copertă tare
Data publicării 2007
Număr pagini 236
EAN 9780521876599
ISBN 0521876591
Codul Libristo 02048574
Greutatea 520
Dimensiuni 152 x 229 x 17
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


Aerothermodynamics and Jet Propulsion Paul G. A. Cizmas / Carte Copertă tare
common.buy 519.70 lei
Contributions of Four Accounting Pioneers James Don Edwards / Carte Carte broșată
common.buy 127.18 lei
To Be Still Miranda Kruse / Carte Carte broșată
common.buy 61.92 lei
Home Again George MacDonald / Carte Carte broșată
common.buy 42.32 lei
SUPER MORNING STAR V03 V03 / Carte Carte broșată
common.buy 59.52 lei
Seven Years of Great Plenty Fred Owens / Carte Carte broșată
common.buy 59.73 lei
Distant Voices William L Stolley / Carte Carte broșată
common.buy 92.05 lei
Pill and other forms of hormonal contraception John Guillebaud / Carte Carte broșată
common.buy 103.10 lei
Dreams of a Saudi Princess Karolin Anderson / Carte Carte broșată
common.buy 116.96 lei
Mass Spectrometry in Environmental Sciences O. Hutzinger / Carte Carte broșată
common.buy 570.37 lei
Lucian´s the Ass Stephen A Nimis / Carte Carte broșată
common.buy 81.62 lei

Logare

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

 
obligatoriu
obligatoriu

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?