Logik höherer Ordnung und Typentheorie

Bewertung: ⭐⭐⭐⭐⭐  (5,0 von 5)

Logik höherer Ordnung und Typentheorie (L. Bell John)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 7 Stimmen.

Originaltitel:

Higher-Order Logic and Type Theory

Inhalt des Buches:

Eine Erläuterung der Logik zweiter und höherer Ordnung und der Typentheorie.

Sie umfasst die Syntax und Semantik der klassischen Logik zweiter Ordnung und eine Diskussion der Logik höherer Ordnung, die auf dem Konzept eines Typs basiert. Außerdem werden die Ursprünge und das Wesen der Typentheorie, ihre Beziehung zur Mengenlehre und Beschreibungen zeitgenössischer Formen der Typentheorie behandelt.

Weitere Daten des Buches:

ISBN:9781108986908
Autor:
L. Bell John
Verlag:
Cambridge
Einband:Taschenbuch
Erscheinungsjahr:2022
Seitenzahl:75

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Leben mit den Psalmen - Living with the Psalms
SPCK Publishing
Dieses Buch, das während seiner Lehrtätigkeit in der ganzen Welt entstanden ist, ist die Frucht einer lebenslangen...
Leben mit den Psalmen - Living with the Psalms
Das Axiom der Wahl - The Axiom of Choice
Kings College Pubn
Dieses Buch gibt einen Überblick über die Entwicklung des Axiom of Choice seit seiner Einführung durch Zermelo zu Beginn des...
Das Axiom der Wahl - The Axiom of Choice
Logik höherer Ordnung und Typentheorie - Higher-Order Logic and Type Theory
Cambridge
Eine Erläuterung der Logik zweiter und höherer Ordnung und der Typentheorie. Sie...
Logik höherer Ordnung und Typentheorie - Higher-Order Logic and Type Theory
Logische Optionen: Eine Einführung in die klassische und alternative Logik - Logical Options: An...
Broadview Pr Inc
Logische Optionen stellt die Erweiterungen und...
Logische Optionen: Eine Einführung in die klassische und alternative Logik - Logical Options: An Introduction to Classical and Alternative Logics
Intuitionistische Mengenlehre - Intuitionistic Set Theory
Kings College Pubn
Obwohl die intuitionistische (oder konstruktive) Mengenlehre IST eine gewisse Aufmerksamkeit von Seiten...
Intuitionistische Mengenlehre - Intuitionistic Set Theory
Eine Einführung in die Infinistesimalanalyse - A Primer of Infinistesimal Analysis
Cambridge
Eines der bemerkenswertesten Ereignisse der jüngsten Zeit in der Mathematik...
Eine Einführung in die Infinistesimalanalyse - A Primer of Infinistesimal Analysis
Das Kontinuierliche, das Diskrete und das Infinitesimale in Philosophie und Mathematik - The...
Springer Nature
In diesem Buch werden die Konzepte des...
Das Kontinuierliche, das Diskrete und das Infinitesimale in Philosophie und Mathematik - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Schwere Zeiten: Die Anfänge der Großen Depression in North Carolina, 1929-1933 - Hard Times:...
Univ Of North Carolina Pr
Beschreibt die wirtschaftlichen Verwerfungen in...
Schwere Zeiten: Die Anfänge der Großen Depression in North Carolina, 1929-1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933
Das Kontinuierliche, das Diskrete und das Infinitesimale in der Philosophie und der Mathematik - The...
Springer Nature
In diesem Buch werden die Konzepte des...
Das Kontinuierliche, das Diskrete und das Infinitesimale in der Philosophie und der Mathematik - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

SPCK Publishing
Kings College Pubn
Cambridge
Broadview Pr Inc
Springer Nature
Univ Of North Carolina Pr