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