KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Gentzen Calculi for Modal Propositional Logic
Band 32

Gentzen Calculi for Modal Propositional Logic

Aus der Reihe Trends in Logic

139,09 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

19.11.2010

Verlag

Springer Netherlands

Seitenzahl

224 (Printausgabe)

Dateigröße

2138 KB

Sprache

Englisch

EAN

9789048196708

Beschreibung

Rezension

From the reviews:

“This book is mainly devoted to an extensive presentation of the author’s original formalisation of modal logics called tree-hypersequent calculus but other approaches are also discussed at length. … This book is a valuable contribution to the subject of proof techniques for modal logics. The presentation is clear with a detailed but readable account of technical details.” (Andrzej B. Indrzejczak, Mathematical Reviews, August, 2013)

Produktdetails

Format

PDF

eBooks im PDF-Format haben eine festgelegte Seitengröße und eignen sich daher nur bedingt zum Lesen auf einem tolino eReader oder Smartphone. Für den vollen Lesegenuss empfehlen wir Ihnen bei PDF-eBooks die Verwendung eines Tablets oder Computers.

Kopierschutz

Nein

Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie, allen sonstigen eReadern und am PC lesen. Das eBook ist nicht kopiergeschützt und kann ein personalisiertes Wasserzeichen enthalten. Weitere Hinweise zum Lesen von eBooks mit einem personalisierten Wasserzeichen finden Sie unter Hilfe/Downloads.

Family Sharing

Nein

Mit Family Sharing können Sie eBooks innerhalb Ihrer Familie (max. sechs Mitglieder im gleichen Haushalt) teilen. Sie entscheiden selbst, welches Buch Sie mit welchem Familienmitglied teilen möchten. Auch das parallele Lesen durch verschiedene Familienmitglieder ist durch Family Sharing möglich. Um eBooks zu teilen oder geteilt zu bekommen, muss jedes Familienmitglied ein Konto bei Thalia oder einem anderen tolino-Buchhändler haben. Weitere Informationen finden Sie unter Hilfe/Family-Sharing.

Text-to-Speech

Nein

Bedeutet Ihnen Stimme mehr als Text? Mit der Funktion Text-to-Speech können Sie sich im tolino webReader und in der aktuellen Thalia – Lesen & Hören App das eBook vorlesen lassen. Weitere Informationen finden Sie unter Hilfe/Text-to-Speech.

Barrierefreiheit
  • keine Information zur Barrierefreiheit bekannt

Erscheinungsdatum

19.11.2010

Verlag

Springer Netherlands

Seitenzahl

224 (Printausgabe)

Dateigröße

2138 KB

Sprache

Englisch

EAN

9789048196708

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

Weitere Artikel findest du in
  • Produktbild: Gentzen Calculi for Modal Propositional Logic
  • PartI An overview of the sequent calcus.- PartII, Sequent caluli for modal logic.- Part III, Tree-hyperseqent calculi.- Reference.- Symbols and notations.- Index.