m

Documents  12L05 | enregistrements trouvés : 6

O
     

-A +A

P Q

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


ISBN 978-0-8218-2204-3

Memoirs of the american mathematical society , 0204

Localisation : Collection 1er étage

03C99 ; 03C60 ; 03C10 ; 03B25 ; 12L05 ; 11E95 ; 14G20

... Lire [+]

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 [+]

Z