Auteurs : Bell, J. L. ; Slomson, A. B.

Editeur : North-Holland

Date de parution : 1969

Nbre/N° de page : ix, 322 p.

Cote : BELL m

Descripteurs : algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle mathématique ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance

Site : Bibliothèque de l'IECL

Site : IECL