m

Documents  03G15 | enregistrements trouvés : 9

O
     

-A +A

P Q

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

- 282 p.
ISBN 978-3-540-15691-8

Lecture notes in mathematics , 1149

Localisation : Collection 1er étage

... Lire [+]

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


ISBN 978-0-8405-0066-3

SMS , 0024

Localisation : Salle de manutention

algèbre de Peano # algèbre polyadique # algèbre transformationnelle arithmétiquement définissable # algèbre transformationnelle avec égalité # complétée polyadique adhérente # définissabilité arithmétique # prédicat arithmetique # représentabilité arithmétique # système algèbrique # théorie arithmétique contradictoire # énumération des fonctions représentables

... Lire [+]

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

- 205 p.
ISBN 978-90-6196-292-2

CWI tract , 0019

Localisation : Collection 1er étage

... Lire [+]

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

- 508 p.
ISBN 978-0-7204-2043-2

Studies in logic and the foundations of mathematics , 0064

Localisation : Ouvrage RdC (HENK)

algèbre cylindrique # algèbre polyadique

... Lire [+]

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

Cylindric algebras. Part II | 1985

Ouvrage

- 302 p.
ISBN 978-0-444-87679-9

Studies in logic and the foundations of mathematics , 0115

Localisation : Ouvrage RdC (HENK)

algèbre cylindrique # algèbre polyadique

... Lire [+]

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

- 318 p.
ISBN 978-0-8218-1041-5

American mathematical society colloquium publications , 0041

Localisation : Collection 1er étage

logique # logique mathématique # logique symbolique # théorie d'ensembles

... Lire [+]

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

- 323 p.
ISBN 978-3-540-10881-8

Lecture notes in mathematics , 0883

Localisation : Collection 1er étage

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

... Lire [+]

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


ISBN 978-0-8218-0595-4

Memoirs of the american mathematical society , 0604

Localisation : Collection 1er étage

algèbre de relation # décidabilité # indécidabilité # logique mathématique

... Lire [+]

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

- 301 p.
ISBN 978-3-540-56254-2

EATCS monographs on theoretical computer science

Localisation : Ouvrage RdC (SCHM)

algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

... Lire [+]

Z