Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 323 p.
Cote : 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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
Cote : 00014335
algebre cylindrique # logique algebrique # logique du premier ordre # logique module
03-06 ; 03Bxx
Localisation : Colloque 1er étage (BUDA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00018698
algèbre de relation # décidabilité # indécidabilité # logique mathématique
03B05 ; 03B25 ; 03G15 ; 08B15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xv; 327 p.
Cote : 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
Localisation : Ouvrage RdC (UNIV)
English