KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Dick de Jongh on Intuitionistic and Provability Logics
Band 28

Dick de Jongh on Intuitionistic and Provability Logics

Aus der Reihe Outstanding Contributions to Logic

149,79 €

inkl. gesetzl. MwSt.

Beschreibung

This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh's original contributions and consequent developments that have helped to shape these fields.

The book begins...

Beschreibung

This book is dedicated to Dick de Jongh's contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh's original contributions and consequent developments that have helped to shape these fields.

The book begins with an autobiographic note by Dick de Jongh, which discusses the main themes of his work and places the other contributions in context. The next four chapters explore the De Jongh-Sambin fixed point theorem and other contributions to provability and interpretability logics. The following four chapters focus on modal, intuitionistic and intuitionistic modal logics. They discuss independence of formulas, unification and de Jongh formulas in intuitionistic and modal logics. Then there follow two chapters on the other two areas to which Dick de Jongh made important contributions: the theory of well-partial orders, and formal learning theory. The second to last chapter on Origami Geometry can be seen as representing the Master of Logic program of the Institute for Logic, Language and Computation (ILLC) in which de Jongh invested a lot of energy. The book ends with a complete bibliography of Dick de Jongh in the last chapter. This volume provides a vital overview - and continuation of - de Jongh's prolfic work in the theory of intuitionistic and provability logics.

Produktdetails

Format

PDF
Kopierschutz

Nein
Family Sharing

Nein
Text-to-Speech

Nein

Produktdetails

Format

PDF

Format

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

Kopierschutz

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

Family Sharing

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

Text-to-Speech

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.

Erscheinungsdatum

25.07.2024
Herausgeber
Verlag Springer Nature Switzerland
Seitenzahl

384 (Printausgabe)
Dateigröße

11214 KB
Sprache

Englisch
EAN

9783031479212
Barrierefreiheit
  • alle zum Verständnis notwendigen Inhalte sind über Screenreader zugänglich
  • navigierbares Inhaltsverzeichnis
  • logische Lesereihenfolge eingehalten
  • kurze Alternativtexte (z.B. für Abbildungen) vorhanden
  • hoher Kontrast zwischen Text und Hintergrund
  • keine Vorlesefunktionen des Lesesystems deaktiviert
  • Inhalt auch ohne Farbwahrnehmung verständlich dargestellt
  • Navigation über vorher / nachher Elemente

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: Dick de Jongh on Intuitionistic and Provability Logics