algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

Collation : 268 p. ; 28 cm ; Bibliogr. ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0072

Localisation : Collection 1er étage

Notes : 5 volumes reliés ensemble L20184 à L20188

Année de la rencontre : 1967

Ville du congrès : Los Angeles

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires