Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Gentzen Calculi for Modal Propositional Logic

Name: Gentzen Calculi for Modal Propositional Logic
Brand: Springer
SKU: 01976920
Price: 141.49 EUR
Availability: InStock
Author: Francesca Poggiolesi
ISBN: 9789048196692

Francesca Poggiolesi

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01976920

Verlag Springer, Dezember 2010

The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa... Vollständige Beschreibung

Libristo-Code: 01976920

346 b

141.49 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Arbeitsrecht und Satire Caroline Siegel

Broschur

106.50 €

Annona Reticulata-Phytochimie, activité antibactérienne et antioxydante G. Bharathi

Broschur

31.69 €

Celador/a Servicio Vasco de Salud-Osakidetza

Broschur

73.39 €

Quarter Horses - Die größte Zuchtbuchrasse der Welt (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo

Kalender

31.99 €

To byl Arnošt Lustig František Cinger

Hardcover

9.59 €

Postepy reumatologii klinicznej

Broschur

73.19 €

Říkanková knížka Víly

Leporello

3.99 €

Deuxieme Quodlibet Alain Boureau

Broschur

84.29 €

Grundzuge der Persoenlichkeitspsychologie Kristin Huckenbeck

Broschur

17.95 €

Schwert in Mythos Und Handwerk / ber Die Ergebnisse Neuerer Metallkundlicher Untersuchungen Alter Eisenfunde Und Ihre Bedeutung F r Die Technik Und D Franz Wever

Broschur

79.99 €

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.§

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Gentzen Calculi for Modal Propositional Logic

Autor Francesca Poggiolesi

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2010

Anzahl der Seiten 224

EAN 9789048196692

ISBN 9048196698

Libristo-Code 01976920

Verlag Springer

Gewicht 672

Abmessungen 247 x 181 x 21

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Sehen, Bildverstehen

Sprache und Sprachwissenschaft > Sprache, allgemein und Nachschlagewerke > Sprache: Geschichte und Allgemeines

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert