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 Critères de recherche : "Introduction à la logique mathématique" 2 résultats

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

Introduction à la logique mathématique Novikov, P. S. ; Sarthou, Ch. | Dunod 1964

Ouvrage

- 332 p.
Cote : 00027143
logique mathématique # prédicat # proposition # axiomatique arithmétique # théorie de la démonstration

03Bxx

Localisation : Ouvrage RdC (NOVI)

Sélection

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

  • Aucun favori créé

4

gerer mes paniers

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

Cours de théorie des modèles :
une introduction à la logique mathématique contemporaine Poizat, Bruno | Poizat, Bruno 1985

Ouvrage

- 584 p.
Cote : 00009289
théorie des modèles # logique mathématiques

03-01 ; 03-02 ; 03C45 ; 03C07

Localisation : Ouvrage RdC (POIZ)

Sélection

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

  • Aucun favori créé

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

Date de parution

Close
PreviousNext
PreviousMaximize
Next