m

F Nous contacter

0

Documents  03G15 | enregistrements trouvés : 9

O
     

-A +A

P Q

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

03G15

... Lire [+]

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

03G15 ; 06Bxx ; 06D10 ; 08Axx ; 08B10

... 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

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

... 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

03G15

... Lire [+]

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

- 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

03G15

... 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

03C55 ; 03G15

... 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

03B05 ; 03B25 ; 03G15 ; 08B15

... 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

03B15 ; 03G15 ; 08A99 ; 68F05 ; 68F20

... 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

00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01

... Lire [+]

Z