m

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

Documents  Tarski, Alfred | enregistrements trouvés : 16

O
K L Q M | g | F x r
     

-A +A

P Q

Tarski, Alfred

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

The Theory of models. Proceeding of the 1963 international symposium at Berkeley Ed. Addison, J. W. ; Ed. Henkin, Leon ; Ed. Tarski, Alfred. -Amsterdam : North-Holland , 1965 . - xv, 494 p. ; 23 cm


MathCongrès

théorie des modèles

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

A Formalization of set theory without variables Tarski, Alfred ; Givant, S.. -Providence RI : American mathematical Society , 1987 . - xxi, 318


MathOuvrage

théorie des ensembles ; logique symbolique ; 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

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

Collected papers. Vol. 2. 1935-1944 Tarski, Alfred ; Ed. Givant, Steven R. ; Ed. Mackenzie, Ralph N.. -Basel : Birkhäuser , 1986 . - 699


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.

Collected papers. Vol. 4. 1958-1979 Tarski, Alfred ; Ed. Givant, Steven R. ; Ed. Mackenzie, Ralph N.. -Basel : Birkhäuser , 1986 . - 757


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.

Collected papers. Vol. 3. 1945-1957 Tarski, Alfred ; Ed. Givant, Steven R. ; Ed. Mackenzie, Ralph N.. -Basel : Birkhäuser , 1986 . - 682


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.

Collected papers. Vol. 1. 1921-1934 Tarski, Alfred ; Ed. Givant, Steven R. ; Ed. Mackenzie, Ralph N.. -Basel : Birkhäuser , 1986 . - 659


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.

Cylindric algebras. Part 2 Henkin, Leon ; Monk, J. Donald ; Tarski, Alfred. -Amsterdam : North-Holland , 1985 . - vii, 302


MathOuvrage

algèbre cylindrique

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

Cylindric set algebras Henkin, Leon ; Monk, J. Donald ; Tarski, Alfred ; Andreka, H. ; Nemeti, I.. -Berlin : Springer , 1981 . - 323
https://doi.org/10.1007/BFb0095612


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.

Cylindric algebras. Part 1 Henkin, Leon ; Monk, J. Donald ; Tarski, Alfred. -Amsterdam : North-Holland , 1971 . - vi, 508


MathOuvrage

algèbre cylindrique

... 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 à la logique Tarski, Alfred ; Ed. Tremblay, J.. -Paris : Gauthier-Villars , 1969 . - xv-246


MathOuvrage

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

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

Introduction à la logique Tarski, Alfred. -Paris : Gauthier-Villars , 1969 . - xvi, 246


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.

Logic, semantics metamathematics : papers from 1923 to 1938 Tarski, Alfred ; Trad. Woodger, J.H.. -Oxford : Clarendon Press , 1956 . - xiv, 471 p. ; 22 cm


MathOuvrage

logique ; sémantique ; métamathématique

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

A Decision method for elementary algebra and geometry Tarski, Alfred. -Berkeley : University of California , 1951 . - 63


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.

Introduction to logic and to the methodology of deductive sciences Tarski, Alfred. -Oxford : Oxford university Press , 1946 . - xviii, 239


MathOuvrage

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

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

Undecidable theories Tarski, Alfred ; Collab. Mostowski, Andrzej ; Collab. Robinson, Raphael M.. -Amsterdam : North-Holland , 1968 . - xi, 98 p. ; 24 cm


MathOuvrage

indécidabilité

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

Ordinal algebras Tarski, Alfred ; Collab. Chang, Chen Chung ; Collab. Jonsson, Bjarni. -Amsterdam : North-Holland , 1956 . - 133 p. ; 22 cm


MathOuvrage

nombre ordinal

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