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

Documents Andréka, Hajnal 4 results

Filter
Select: All / None
Q
K |
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cylindric set algebras
cylindric set algebras and related structures,on cylindric-relativized set algebras Andréka, Hajnal ; Henkin, L. ; Monk, J. D. ; Nemeti, I. ; Tarski, A. | Springer-Verlag 1981

Ouvrage

- 323 p.
Call n° : 00014010
algèbre de cylindre # algèbre de relation # algèbre p-adique # ensemble # fondement de la logique mathématique # logique algébrique # logique mathématique # modèle # théorie de modèle

03C55 ; 03G15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Algebraic logic
papers presented at the conference held at budapest,hungary,1988 Andréka, Hajnal ; Monk, J. D. ; Nemeti, I. | North-Holland Publishing Co. 1991

Congrès


Call n° : 00014335
algebre cylindrique # logique algebrique # logique du premier ordre # logique module

03-06 ; 03Bxx

Location : Colloque 1er étage (BUDA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Decision problems for equational theories of relation algebras Andréka, Hajnal ; Givant, Steven ; Németi , Istvan | American Mathematical Society 1997

Ouvrage


Call n° : 00018698
algèbre de relation # décidabilité # indécidabilité # logique mathématique

03B05 ; 03B25 ; 03G15 ; 08B15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Universal algebraic logic:
dedicated to the unity of Science Andréka, Hajnal ; Gyenis, Zalán ; Németi, István ; Sain, Ildikó | Birkhäuser 2022

Ouvrage

- xv; 327 p.
Call n° : 00041556
logique algébrique # lien entre logique et algèbre # logique algébrique tarskienne # algèbre cylindrique # algèbre de relations # algèbre polyadique # théorie des catégories

03-01

Location : Ouvrage RdC (UNIV)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

  • No bookmarks

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language

Close
PreviousNext
PreviousMaximize
Next