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 Axiomes 2 résultats

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

Axiomes

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

Listes : nb d'elts/page

Sélectionner : Tous / Aucun