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 Krivine, J. L. 5 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique mathématique cours et exercices. Vol. II :
fonctions recursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, J. L. | Masson 1993

Ouvrage

- 347 p.
Call n° : 00015781
fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel

03Cxx ; 03D20 ; 03Exx ; 03F40

Location : Ouvrage RdC (CORI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique mathématique cours et exercices. Vol I :
calcul propositionnel, algèbres de Bool, calcul des prédicats Cori, René ; Lascar, Daniel ; Krivine, J. L. | Masson 1993

Ouvrage

- 347 p.
Call n° : 00015782
algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude

03B05 ; 03C35 ; 03G05

Location : Ouvrage RdC (CORI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Eléments de logique mathématique :
théorie des modèles Kreisel, G. ; Krivine, J. L. | Dunod 1967

Ouvrage

- 212 p.
Call n° : 00000308
calcul des prédicats # calcul propositionnel # exercice # logique mathématique # modèle

00A07 ; 03-01

Location : Ouvrage RdC (KREI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique mathématique. Tome 1 :
calcul propositionnel, algèbre de Boole, calcul des prédicats Cori, René ; Lascar, Daniel ; Krivine, J. L. | Dunod 2003

Ouvrage

- 385 p.
Call n° : 00025958
logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude

03-01 ; 03B05 ; 03B10 ; 03G05

Location : Enseignement RdC (CORI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique mathématique. Tome 2 :
fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, J. L. | Dunod 2003

Ouvrage

- 374 p.
Call n° : 00025959
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles

03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30

Location : Enseignement RdC (CORI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

Reference

MSC Codes

J More

Publication Date