CIRM - Videos & books Library

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

V

Cote : 00012583

complexite des algorithmes # logique # machine de turing

03D10 ; 68Q15 ; 68Qxx

Localisation : Publication 1er étage

Sélection Signaler une erreur

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

V

- 306 p.
Cote : 00013687

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

Localisation : Collection 1er étage

Sélection Signaler une erreur

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

V

Cote : 00010936

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

Localisation : Publication 1er étage

Sélection Signaler une erreur

Destination de la recherche

Raccourcis

Informations Pratiques

Plan de la Bibliothèque

Histoire

Règlement Intérieur

Ludothèque

Recherche avancée

Livres électroniques

Fonds

Autres catalogues

Revue papier

Revue électronique

Autres catalogues

Revues électroniques

Bases de données

Documents Ressayre, J. P. 3 résultats

Seminaire de complexite algorithmique et de logique 1986-1987-1988 Michel, Pascal ; Ressayre, J. P. | U.F.R De Mathematiques ; U.R.A.-C.N.R.S. 212-744-748-753 1989 Nouveau

Model theory and arithmetic :
comptes rendus d'une action thématique programmee du C.N.R.S.. sur la théorie des modèles et l'arithmétique Berline, C. ; Mcaloon, K. ; Ressayre, J. P. | Springer-Verlag 1981 Nouveau

Modeles non standard en arithmetique et theorie des ensembles Ressayre, J. P. ; Wilkie, A. J. | E.R.A. 944 Du C.N.R.S. ; La 212 ; U.E.R. De Mathematiques Nouveau

Filtrer

Type

Auteurs

Langue

Documents

Références

Auteurs

Thesaurus

Destination de la recherche

Raccourcis

Fonds

Autres catalogues

Autres catalogues

Bases de données

Documents Ressayre, J. P. 3 résultats

Seminaire de complexite algorithmique et de logique 1986-1987-1988 Michel, Pascal ; Ressayre, J. P. | U.F.R De Mathematiques ; U.R.A.-C.N.R.S. 212-744-748-753 1989 Nouveau

Model theory and arithmetic :comptes rendus d'une action thématique programmee du C.N.R.S.. sur la théorie des modèles et l'arithmétique Berline, C. ; Mcaloon, K. ; Ressayre, J. P. | Springer-Verlag 1981 Nouveau

Modeles non standard en arithmetique et theorie des ensembles Ressayre, J. P. ; Wilkie, A. J. | E.R.A. 944 Du C.N.R.S. ; La 212 ; U.E.R. De Mathematiques Nouveau

Filtrer

Type

Auteurs

Langue

Model theory and arithmetic :
comptes rendus d'une action thématique programmee du C.N.R.S.. sur la théorie des modèles et l'arithmétique Berline, C. ; Mcaloon, K. ; Ressayre, J. P. | Springer-Verlag 1981 Nouveau