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 Lascar, Daniel 5 résultats

Filtrer
Sélectionner : Tous / Aucun
P Q
r x
K | x r

Lascar, Daniel

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

Séminaire général de logique 1983-84 Delon, Françoise ; Lascar, Daniel ; Parigot, Michel | Université de Paris 7 - UER de mathématiques 1984

Congrès

Publications mathématiques de l'Université Paris VII

Cote : M/A7(27)

fondement des mathématiques ; logique

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Séminaire général de logique 1982-83 Delon, Françoise ; Lascar, Daniel ; Louveau, Alain ; Sabbagh, Gabriel | Université de Paris 7 - UER de mathématiques 1983

Congrès

Publications mathématiques de l'Université Paris VII

Cote : M/A7(19)

fondement des mathématiques ; logique

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Logique mathématique : Cours et exercices, Vol. II : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis | Masson 1993

Monographie

Axiomes

Cote : CORI l II
ISBN/ISSN : 2-225-84080-6

logique

... Lire [+]

Sélection

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

4

Gerer mes favoris

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 Boole, calcul des prédicats Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis | Masson 1993

Monographie

Axiomes

Cote : CORI l I
ISBN/ISSN : 2-225-84079-2

logique

... Lire [+]

Sélection

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

4

Gerer mes favoris

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

Compte rendu de la table ronde de logique, octobre 1983, Paris Delon, Françoise ; Lascar, Daniel ; Parigot, Michel | Gauthier-Villars 1984

Monographie

Mémoires de la Société Mathématique de France

Cote : M/A38(11-17)
ISBN/ISSN : 2-04-012412-8

modèle ; logique

... Lire [+]

Sélection

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

4

Gerer mes favoris

Listes : nb d'elts/page

Sélectionner : Tous / Aucun