Model-Theoretic Logics
Depuis leur création, les séries Perspectives in Logic et Lecture Notes in Logic ont publié des ouvrages fondamentaux rédigés par des logiciens de premier plan. De nombreux ouvrages originaux de la série ont été indisponibles pendant des années, mais ils sont maintenant à nouveau disponibles.
Ce volume, la huitième publication de la série Perspectives in Logic, rassemble plusieurs directions de travail en théorie des modèles entre la fin des années 1950 et le début des années 1980. Il contient des exposés rédigés par d'éminents chercheurs. La première partie fournit une introduction au sujet dans son ensemble, ainsi qu'à la théorie de base et aux exemples.
Le reste du livre traite des langages finitaires avec des quantificateurs supplémentaires, des langages infinitaires, de la logique du second ordre, des logiques de topologie et d'analyse, et de sujets avancés en théorie des modèles abstraits. De nombreux chapitres peuvent être lus indépendamment les uns des autres.
| ISBN : | 9781107168251 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2017 |
| Nombre de pages : | 911 |
Actuellement disponible, en stock.
