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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Gentzen Calculi for Modal Propositional Logic

Limba englezăengleză
Carte Copertă tare
Carte Gentzen Calculi for Modal Propositional Logic Francesca Poggiolesi
Codul Libristo: 01976920
Editura Springer, decembrie 2010
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa... Descrierea completă
? points 385 b
844.41 lei
În depozitul extern Expediem în 14-21 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

DOCUMENTOS DE ARQUITECTURA 15 / Carte Carte
common.buy 76.29 lei
Les Effacées Minier / Carte Carte broșată
common.buy 167.93 lei
Krtek 16cm s batůžkem Zdeněk Miler / Joc / Jucărie Jucărie
common.buy 108.07 lei
Annona Reticulata-Phytochimie, activité antibactérienne et antioxydante G. Bharathi / Carte Carte broșată
common.buy 180.41 lei
Osservazioni Istoriche ... Sopra I Sigilli Antichi De Secoli Bassi Domenico Maria Manni / Carte Carte broșată
common.buy 107.37 lei
Schwert in Mythos Und Handwerk / ber Die Ergebnisse Neuerer Metallkundlicher Untersuchungen Alter Eisenfunde Und Ihre Bedeutung F r Die Technik Und D Franz Wever / Carte Carte broșată
common.buy 430.52 lei
Grundzuge der Persoenlichkeitspsychologie Kristin Huckenbeck / Carte Carte broșată
common.buy 90.72 lei
Celador/a Servicio Vasco de Salud-Osakidetza / Carte Carte broșată
common.buy 430.72 lei
Right Here (Stay With Me) Anne Pätzold / Carte Carte broșată
common.buy 62.05 lei
To byl Arnošt Lustig František Cinger / Carte Copertă tare
common.buy 56.94 lei
Říkanková knížka Víly / Carte Cărți pliante
common.buy 27.36 lei
Postepy reumatologii klinicznej / Carte Carte broșată
common.buy 376.58 lei
Arbeitsrecht und Satire Caroline Siegel / Carte Carte broșată
common.buy 510.93 lei
Deuxieme Quodlibet Alain Boureau / Carte Carte broșată
common.buy 427.41 lei

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50 s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.§

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 Gentzen Calculi for Modal Propositional Logic
Autor Francesca Poggiolesi
Limba engleză
Legare Carte - Copertă tare
Data publicării 2010
Număr pagini 224
EAN 9789048196692
ISBN 9048196698
Codul Libristo 01976920
Editura Springer
Greutatea 672
Dimensiuni 247 x 181 x 21

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Philosophy & Religion > Philosophy > Topics in philosophy > Philosophy: logic
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Language & Linguistics > Language: reference & general > Language: history & general works
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

Contemporary Research in Adult and Lifelong Learning of Mathematics Katherine Safford-Ramus / E-book Adobe ePub DRM
common.buy 638.08 lei
Microsoft Hyper-V Cluster Design Eric Siron / Carte Carte broșată
common.buy 370.66 lei
Lady Gaga and Popular Music Martin Iddon / Carte Carte broșată
common.buy 410.77 lei
Trial and Judgment of the Soul, for Discovering the Safety of Its Spiritual Estate. by John Kettlewell, ... a New Edition JOHN KETTLEWELL / Carte Copertă tare
common.buy 149.68 lei
Shifted Masterpiece: A Story of Love & Horror in Savannah, GA Vee Speaklife / Carte Carte broșată
common.buy 57.46 lei
Leo Learns About Life Nick Nanton / Carte Copertă tare
common.buy 133.88 lei
Once Upon an Eid Aisha Saeed / Carte Copertă tare
common.buy 83.71 lei
Talismans and Charms Henry Christmas / Carte Carte broșată
common.buy 107.36 lei
The Nuns Of Minsk: Narrative Of Makrena Mieczyslawska, Abbess Of The Basilian Convent Of Minsk (1846) Makryna Mieczyslawska / Carte Carte broșată
common.buy 115.69 lei
Fry's Law of Vaccination: Containing the Vaccination Acts 1867, 1871, 1874, and 1898... Danby Palmer Fry / Carte Carte broșată
common.buy 107.36 lei
Strategies and Tools for a Sustainable Rural Rio de Janeiro Udo Nehren / Carte Copertă tare
common.buy 862.55 lei
Man Question Dowd / E-book Adobe ePub DRM
common.buy 215.67 lei
Soft Thorns Bridgett Devoue / Audiobook MP3
common.buy 48.20 lei
Fascination Essie Fox / Carte Copertă tare
common.buy 102.16 lei
Advances in Tourism, Technology and Systems João Vidal Carvalho / Carte Carte broșată
common.buy 1 264.31 lei
A Tree / Carte Carte broșată
common.buy 98.83 lei
Combatting Digital Arrest Fraud and Identity Theft With AI and Decision Support Systems Brij B. Gupta / Carte Carte broșată
common.buy 1 040.12 lei
Nou
Anne Stokes Slim Calendar 2027 (Art Calendar) WALL / Calendar / Agendă Calendar
common.buy 43.60 lei
Decentralized Receding Horizon Control Tamas Keviczky / Carte Carte broșată
common.buy 343.09 lei
Plumbing Muscroft / Carte Carte broșată
common.buy 436.23 lei
Chronicle of Theophanes Harry Turtledove / Carte Carte broșată
common.buy 183.07 lei
Hide and Seek - Camouflage, Photography, and the Media of Reconnaissance Hanna Rose Shell / Carte Copertă tare
common.buy 237.81 lei
Curând
Imaging of Select Multisystem Disorders, An issue of Radiologic Clinics of North America Srinivasa Prasad / Carte Copertă tare
common.buy 673.16 lei
Chispita Service Dog Extraordinaire Richard B. Taylor / Carte Carte broșată
common.buy 91.83 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?