Logique d'ordre supérieur et théorie des types

Note : ⭐⭐⭐⭐⭐  (5,0 sur 5)

Logique d'ordre supérieur et théorie des types (L. Bell John)

Avis des lecteurs

Il n'y a actuellement aucun avis de lecteur. La note est basée sur 7 votes.

Titre original :

Higher-Order Logic and Type Theory

Contenu du livre :

Exposé de la logique du second ordre et du second ordre supérieur et de la théorie des types.

Il comprend la syntaxe et la sémantique de la logique classique du second ordre et une discussion de la logique d'ordre supérieur basée sur le concept de type. Les origines et la nature de la théorie des types, sa relation avec la théorie des ensembles et les descriptions des formes contemporaines de la théorie des types sont également explorées.

Autres informations sur le livre :

ISBN :9781108986908
Auteur :
L. Bell John
Éditeur :
Cambridge
Reliure :Broché
Année de publication :2022
Nombre de pages :75

Achat:

Actuellement disponible, en stock.

Je l'achète!

Autres livres de l'auteur :

Vivre avec les Psaumes - Living with the Psalms
SPCK Publishing
Développé au cours de son ministère d'enseignant dans le monde entier, ce livre est le fruit d'une vie entière consacrée...
Vivre avec les Psaumes - Living with the Psalms
L'axiome du choix - The Axiom of Choice
Kings College Pubn
Ce livre présente une vue d'ensemble de l'évolution de l'axiome du choix depuis son introduction par Zermelo au début du siècle...
L'axiome du choix - The Axiom of Choice
Logique d'ordre supérieur et théorie des types - Higher-Order Logic and Type Theory
Cambridge
Exposé de la logique du second ordre et du second ordre supérieur et de la...
Logique d'ordre supérieur et théorie des types - Higher-Order Logic and Type Theory
Options logiques : Une introduction aux logiques classiques et alternatives - Logical Options: An...
Broadview Pr Inc
Les options logiques présentent les extensions et...
Options logiques : Une introduction aux logiques classiques et alternatives - Logical Options: An Introduction to Classical and Alternative Logics
La théorie intuitionniste des ensembles - Intuitionistic Set Theory
Kings College Pubn
Bien que la théorie intuitionniste (ou constructive) des ensembles IST ait reçu une...
La théorie intuitionniste des ensembles - Intuitionistic Set Theory
Une introduction à l'analyse infinitésimale - A Primer of Infinistesimal Analysis
Cambridge
L'un des événements récents les plus remarquables en mathématiques est la...
Une introduction à l'analyse infinitésimale - A Primer of Infinistesimal Analysis
Le continu, le discret et l'infinitésimal en philosophie et en mathématiques - The Continuous, the...
Springer Nature
Ce livre explore et articule les concepts du...
Le continu, le discret et l'infinitésimal en philosophie et en mathématiques - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Des temps difficiles : Les débuts de la Grande Dépression en Caroline du Nord, 1929-1933 - Hard...
Univ Of North Carolina Pr
Détaille les bouleversements économiques survenus...
Des temps difficiles : Les débuts de la Grande Dépression en Caroline du Nord, 1929-1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933
Le continu, le discret et l'infinitésimal en philosophie et en mathématiques - The Continuous, the...
Springer Nature
Ce livre explore et articule les concepts du...
Le continu, le discret et l'infinitésimal en philosophie et en mathématiques - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Les œuvres de l'auteur ont été publiées par les éditeurs suivants :

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

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)