Narrow your search

Library

UCLouvain (3)

KU Leuven (2)

KBR (1)

UGent (1)

ULB (1)

ULiège (1)

UMons (1)


Resource type

book (5)


Language

French (3)

English (1)

Multiple languages (1)


Year
From To Submit

2013 (1)

2000 (1)

1987 (1)

1985 (1)

1978 (1)

Listing 1 - 5 of 5
Sort by

Book
Cours de théorie des modèles : une introduction à la logique mathématique contemporaine
Author:
ISBN: 9782950091901 2950091903 Year: 1985 Publisher: Paris: OFFILIB,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Groupes stables : une tentative de conciliation entre la géométrie algébrique et la logique mathématique
Author:
ISBN: 2950091911 Year: 1987 Publisher: Villeurbanne Bruno Poizat

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

A course in model theory : an introduction to contemporary mathematical logic
Authors: ---
ISBN: 0387986553 9780387986555 1461264464 1441986227 Year: 2000 Publisher: New York (N.Y.): Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

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.


Book
La versification en soureth (araméen contemporain)
Authors: --- ---
ISSN: 00700444 ISBN: 9789042926561 9042926562 Year: 2013 Volume: 647 131 Publisher: Lovanii In aedibus Peeters

Loading...
Export citation

Choose an application

Bookmark

Abstract

"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.


Book
Groupe d'étude de théories stables : 1re année, 1977-78
Authors: ---
ISBN: 2859262687 Year: 1978 Publisher: Paris : Secrétariat mathématique,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 5 of 5
Sort by