m

Bibliothèques de mathématique et de l'IREM

Documents  Takeuti, Gaisi | enregistrements trouvés : 5

O
K L Q M | g | F x r
     

-A +A

P Q

Takeuti, Gaisi

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

Logic symposia Hakone 1979, 1980. Proceedings of conferences held in Hakone, Japan, march 21-24, 1979 and february 4-7, 1980 Ed. Muller, G. H. ; Ed. Takeuti, Gaisi ; Ed. Tugue, T.. -Berlin : Springer , 1981 . - xii, 394
https://doi.org/10.1007/BFb0090974


MathCongrès

logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Two applications of logic to mathematics Takeuti, Gaisi. -Princeton NJ, Tokyo : Princeton university Press ; Iwanami Shoten , 1978 . - viii, 138
https://www.mathsoc.jp/publications/pubmsj/


MathOuvrage

logique symbolique ; logique mathématique ; algèbre de Boole

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Axiomatic set theory Takeuti, Gaisi ; Zaring, W.M.. -Berlin : Springer , 1973 . - 237
http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285


MathOuvrage

théorie des ensembles

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Introduction to axiomatic set theory Takeuti, Gaisi ; Zaring, W.M.. -Berlin : Springer , 1971 . - vii, 250
http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285


MathOuvrage

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Proof theory Takeuti, Gaisi. -Amsterdam : North-Holland , 1975 . - 372


MathOuvrage

théorie de la preuve

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z