Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 458 p.
ISBN 978-3-540-16640-5
Ergebnisse der mathematik und ihrer grenzgebiete 3 folge , 0011
Localisation : Ouvrage RdC (FRIE)
corps algébrique # théorie des nombres algébriques
12-02 ; 12C15 ; 12L05 ; 12L10 ; 12L15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 271 p.
ISBN 978-0-201-02540-8
Localisation : Ouvrage RdC (DREB)
calcul des prédicats # classe résoluble de formule quantificationnelle # insolvabilité # problème de décision # solvabilité et coinstantiation
03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 114 p.
Studies in logic and the foundations of mathematics
Localisation : Monographie RdC (ACKE)
formule bien formée # formule d'égalité # problème de décision # préfixe # validité de formule du calcul des prédicats du premier ordre # validité et satisfiabilité en domaine fini # variable de prédicats monadique
03B25 ; 03Bxx ; 11U05 ; 12L05 ; 20F10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 320 p.
ISBN 978-0-521-83360-8
New mathematical monographs , 0007
Localisation : Ouvrage RdC (SHLA)
équation diophantienne # definissabilité # problème de Hilbert # corps global
11U05 ; 03Dxx ; 12L05 ; 14G25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 237 p.
ISBN 978-1-4704-4399-3
Student mathematical library , 0088
Localisation : Collection 1er étage
théorie des nombres # jeux mathématiques # 10ème problème de Hilbert # nombre transfini de Cantor # théorie axiomatique des ensembles # machine de Turing # théorème incomplet de Gödel
11U05 ; 12L05 ; 03-01 ; 03Dxx ; 03F40 ; 03F45 ; 03E30
... Lire [+]
