En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03-02 125 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Type theory and formal proof:
an introduction Nederpelt, Rob ; Geuvers, Herman | Cambridge University Press 2014

Ouvrage

- xxviii; 436 p.
Cote : 00041641
théorie des types # lambda-calcul # vérification des preuves # formalisation des mathématiques

03-02 ; 03F03 ; 03F07

Localisation : Ouvrage RdC (NEDE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundational studies
selected works vol. 1 et 2 Mostowski, Andrzej | North-Holland Publishing Co. ; Polish Scientific Publishers 1979

Ouvrage

- 635 p.
Cote : 00001007
arithmétique du second ordre # arithmétique oméga-complète # axiome du choix # calcul fonctionnel # calcul logique # constructibilité # corps booléen dénombrable # décidabilité # définabilité # définition imprédicative # ensemble # fondement # forcing # hiérarchie # logique multi-valuée # modèle # métamathématique générale # oméga-modèle non béta-modèle # principe d # Mostowski # oeuvres complètes

01A60 ; 03-02

Localisation : Oeuvres complètes RdC (MOST)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Combinatorial functors Crossley, J. N. ; Nerode, Anie | Springer-Verlag 1974

Ouvrage

- 146 p.
Cote : 00004666
types d'équivalence récursifs # application

03-02 ; 02F40 ; 02H15 ; 02H99 ; 18B99

Localisation : Ouvrage RdC (CROS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Degrees of insolvability structure and theory Epstein, Richard L. | Springer-Verlag 1979

Ouvrage

- 240 p.
Cote : 00000629

03-02 ; 03D30 ; 03D35 ; 03F30

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

General recursion theory :
an axiomatic approach Fenstad, Jens E. | Springer-Verlag 1980

Ouvrage

- 222 p.
Cote : 00000713
théorie abstraite et axiomatique de compatibilité et de récursion # hiérarchie # théorie de compatibilité et de récursion sur des nombres ordinaux # ensemble admissible

03-02 ; 03D75

Localisation : Ouvrage RdC (FENS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Linear orderings Rosenstein, Joseph G. | Academic Press 1982

Ouvrage

- 487 p.
Cote : 00006599
conjecture de Fraissé # jeu de Ehrenfaucht # langage formel # ordonnancempent linéaire # théorie de la récursion # théorème de Hausdorff # théorème de Ramsey # théorème de partition

03-01 ; 03-02 ; 06-01 ; 06-02 ; 06Fxx

Localisation : Ouvrage RdC (ROSE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Problems in the constructive trend in mathematics V Orevkov, V. P. ; Sanin, N. A. | American Mathematical Society 1972

Congrès

- 287 p.
Cote : 00014594

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Problems in the constructive trend in mathematics IV Orevkov, V. P. ; Sanin, M. A. | American Mathematical Society 1970

Congrès

- 329 p.
Cote : 00014624

03-02 ; 03E45 ; 60A05 ; 60F05 ; 68A20

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Five papers on logic and foundations Ceitin, G. S. ; Markov, A. A. ; Maslov, S Ju. ; Zaslavskii, I. D. | American Mathematical Society 1971

Ouvrage

- 288 p.
Cote : 00007195

03-02

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proceedings of the tarski symposium
an international symposium held to honor alfred tarski on the occasionof his seventieth birthday held at the university of california,berkeley,june 23-30,1971 Addison, J. ; Chang, C. C. ; Henkin, L. | American Mathematical Society 1979

Congrès


Cote : 00007469

03-02 ; 03-06 ; 03Exx

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun