En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Solvable cases of the decision problem

Bookmarks Report an error
Ouvrage

Ackermann, W. (Principal)

North-Holland Publishing Co.

1968

114 p.

00004213

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

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

Publisher City : Amsterdam

Publisher country : Pays-Bas

Language : English

Collation : 23 cm ; Bibliogr. ; Index ; rel. ; viii

Series : Studies in logic and the foundations of mathematics

Location : Monographie RdC (ACKE)

Book type : Monographie

Availability : empruntable

Level of authorization : Public


Copies

Number of copies : 1
No. Call n° Bar code Commentary
1 00004213 [available]
Bookmarks Report an error