m

Documents  Ressayre, J. P. | enregistrements trouvés : 3

O
     

-A +A

P Q

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

Publications mathematiques de l'universite paris vii , 0030

Localisation : Publication 1er étage

complexite des algorithmes # logique # machine de turing

03D10 ; 68Q15 ; 68Qxx

... Lire [+]

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

- 306 p.
ISBN 978-3-540-11159-7

Lecture notes in mathematics , 0890

Localisation : Collection 1er étage

arithmétique de premier ordre # fondement de la logique mathématique # logique mathématique # modèle d'arithmétique # théorie de la preuve # théorie des ensembles # théorie des modèles

03-06 ; 03C55 ; 03C65 ; 03H15

... Lire [+]

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

Publications mathematiques de l'universite paris vii , 0022

Localisation : Publication 1er étage

03H20 ; 10N15 ; 11U09 ; 11Y16 ; 12L15

... Lire [+]

Z