Produktbild: Dual Tableaux: Foundations, Methodology, Case Studies
Band 33

Dual Tableaux: Foundations, Methodology, Case Studies

Aus der Reihe Trends in Logic

149,79 €

inkl. gesetzl. MwSt.

Beschreibung

Produktdetails

Format

PDF

Kopierschutz

Nein

Family Sharing

Nein

Text-to-Speech

Nein

Erscheinungsdatum

07.01.2012

Verlag

Springer Netherlands

Seitenzahl

523 (Printausgabe)

Dateigröße

4377 KB

Sprache

Englisch

EAN

9789400700055

Beschreibung

Rezension

From the reviews:

“This book is an excellent guide for a unified treatment of the many logics surveyed … . this book unifies a collection of topics and systems that are hard to find elsewhere, and testifies to the increasing interest in non-classical logic. … Overall, it is undoubtedly a book to have in your library.” (Walter Carnielli, Studia Logica, Vol. 101, 2013)

“This book surveys the theory and applications of the method of dual tableaux introduced by Rasiowa and Sikorski in the 1960s. A broad range of theories have been studied using this framework, and most of them are included here. … Overall, the book introduces a thorough and in-depth study of the different applications of the framework of dual tableaux.” (Manuel Ojeda-Aciego, Mathematical Reviews, Issue 2012 f)

“Providing a reference for researchers and students, this book presents the fundamental concepts of dual tableaux and a wide scope of applications. These include logic methods used in mathematics and philosophy as well as applied theories of computational logic.” (Branislav Boričić, Zentralblatt MATH, Vol. 1210, 2011)

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

07.01.2012

Verlag

Springer Netherlands

Seitenzahl

523 (Printausgabe)

Dateigröße

4377 KB

Sprache

Englisch

EAN

9789400700055

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 finden Sie in

  • Produktbild: Dual Tableaux: Foundations, Methodology, Case Studies