Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Choose an application
Choose an application
This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.
Model theory --- Théorie des modèles --- Model theory. --- Théorie des modèles --- Logic, Symbolic and mathematical --- Mathematical logic. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
"La première partie de ce livre consiste en l'édition d'un manuscrit du missionnaire dominicain, le P. Jacques Rhétoré, mort à Mossoul en 1921. Il s'agit d'un traité de poétique en soureth, c'est-à-dire en l'araméen vernaculaire encore parlé de nos jours par les chrétiens du nord de la Mésopotamie : ce n'est pas seulement un ouvrage d'érudition, mais aussi un manuel pratique devant assister les missionnaires ayant appris le soureth dans la composition d'hymnes et de cantiques utiles à leur ministère. Et en effet le P. Rhétoré est lui-même auteur d'une œuvre abondante de ce type, qu'il signait du pseudonyme de Jacques l'Étranger. La deuxième partie contient les notes de l'éditeur (Bruno Poizat), en particulier sur la provenance des exemples cités dans le texte, sur ce qu'on sait par ailleurs des auteurs mentionnés par le P. Rhétoré, sur les éditions savantes dont leurs compositions ont fait l'objet, ainsi que sur les diverses collections de manuscrits où on peut trouver des poésies en soureth. L'édition de ce traité est un utile complément aux deux volumes de poésies en soureth publiés dernièrement par Alessandro Mengozzi dans le CSCO (589-590 et 627-628)."--Publisher's website.
Aisorski (Dialecte) --- Aissor (Dialecte) --- Araméen oriental (Dialecte) --- Assyrian language [Modern ] --- Assyrien moderne (Dialecte) --- Assyrien néo-araméen (Dialecte) --- Assyrien néo-syriaque (Dialecte) --- Assyriski (Dialecte) --- Assyro-Babylonian language [Modern ] --- Aysor (Dialecte) --- Lishana Aturaya (Dialecte) --- Modern Syrisch (Taal) --- Neo-Aramaic language --- Néo-araméen oriental (Dialecte) --- Néo-syriaque (Dialecte) --- Sooreth (Dialecte) --- Soureth (Dialecte) --- Suret (Dialecte) --- Sureth (Dialecte) --- Suryaya Swadaya (Dialecte) --- Syriac language [Modern ] --- Syriaque moderne (Langue) --- Syriaque moderne oriental (Dialecte) --- Syriaque vulgaire (Dialecte) --- Syrisch [Modern ] --- Aramaic language --- Versification --- Dialects --- Academic collection --- Versification. --- Dialects. --- Aramaic language - Versification --- Aramaic language - Dialects
Choose an application
Listing 1 - 5 of 5 |
Sort by
|