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 Takeuti, Gaisi 4 résultats

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

Takeuti, Gaisi

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

Logic symposia Hakone 1979, 1980 Müller, Gert Heinz ; Takeuti, Gaisi ; Tugué, Tosiyuki | Springer 1981

Congrès

Lecture notes in mathematics

Cote : M/A1(891)
ISBN/ISSN : 3-540-11161-1

ensemble ; logique ; mathématique constructive ; modèle ; modèle non standard ; récurrence

... 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

Two applications of logic to mathematics Takeuti, Gaisi | Princeton university press 1978

Monographie

Publications of the mathematical society of Japan

Cote : TAKEUTI t

algèbre de Boole ; logique ; mesure

... 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

Axiomatic set theory Takeuti, Gaisi ; Zaring, Wilson M. | Springer 1973

Monographie

Graduate texts in mathematics

Cote : TAKEUTI a
ISBN/ISSN : 0-387-90050-0

axiome ; consistence ; ensemble

... 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

Introduction to axiomatic set theory Takeuti, Gaisi ; Zaring, Wilson M. | Springer 1971

Monographie

Graduate texts in mathematics

Cote : TAKEUTI i
ISBN/ISSN : 0-387-05302-6

axiome ; consistence ; ensemble

... 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