m
     
Ouvrage

H 0 First-order logic

Smullyan, Raymond M. (Principal)

Springer-Verlag

1968

158 p.

978-3-540-04099-6

00004631

03-02 ; 03B05 ; 03B10 ; 03C10

compacité # complétude # définabilité de Beth # ensemble magique # interpolation de Craig # logique du premier ordre # logique proportionnelle # propriété de consistance synthétique # système d'axiomes pour théorie de quantification # système de Gentzen # système de raisonnement linéaire # tableaux Prenex # tableaux analytiques # élimination

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

Pays d'édition : Allemagne RDA

Langue : Anglais

N° édition : 2nd ed.

EAN13 : 9783540040996

ISBN : 3-540-04099-4

Collation : Bibliogr. ; Index ; xii#24 cm#rel.

Collection : Ergebnisse der mathematik und ihrer grenzgebiete

N° de collection : 0043

Localisation : Ouvrage RdC (SMUL)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00004631 [disponible]
Z