m

Documents  Ackermann, W. | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 188 p.

Grundlehren der mathematischen wissenschaften , 0027

Localisation : Collection 1er étage

calcul des prédicats # calcul logique de classe # fondement de la logique

03-03 ; 03B30 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Die grundlehren der mathematischen wissenchaften , 0027

Localisation : Réserve

calcul logique # fondement de la logique # logique

03-03 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 114 p.

Studies in logic and the foundations of mathematics

Localisation : Monographie RdC (ACKE)

formule bien formée # formule d'égalité # problème de décision # préfixe # validité de formule du calcul des prédicats du premier ordre # validité et satisfiabilité en domaine fini # variable de prédicats monadique

03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10

... Lire [+]

Z