CIRM - Videos & books Library - Eléments de logique mathématique :<br>théorie des modèles

Ouvrage

Auteurs : Kreisel, G. (Principal) ; Krivine, J. L. (Co-auteur)

Editeur : Dunod

Date de parution : 1967

Nbre/N° de page : 212 p.

Cote : 00000308

Codes MSC : 00A07 ; 03-01

calcul des prédicats # calcul propositionnel # exercice # logique mathématique # modèle

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

Collation : viii#25 cm#rel.

Collection : Monographies de la Société Mathématique de France

N° de collection : 0003

Localisation : Ouvrage RdC (KREI)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00000308	[disponible]