Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
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.
- 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.
- 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.
- 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 [+]
