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 Tarski, Alfred 15 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Ordinal algebras Tarski, Alfred ; Chen-Chun Chang ; Bjarni Jónsson | North-Holland Publishing Co. 1956

Ouvrage

- 133 p.
Call n° : 00004219
addition ordinaire relationnelle # algèbre ordinaire # arithmétique

03D25 ; 03E10 ; 04A05 ; 04A10

Location : Ouvrage RdC (TARS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cylindric algebras. Part I :
with an introductory chapter Henkin, Leon ; Monk, J. Donald ; Tarski, Alfred | North-Holland 1985

Ouvrage

- 508 p.
Call n° : 00009809
algèbre cylindrique # algèbre polyadique

03G15

Location : Ouvrage RdC (HENK)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cylindric algebras. Part II Henkin, Leon ; Monk, J. Donald ; Tarski, Alfred | North-Holland 1985

Ouvrage

- 302 p.
Call n° : 00009808
algèbre cylindrique # algèbre polyadique

03G15

Location : Ouvrage RdC (HENK)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Collected papers. Vol. 4 Tarski, Alfred ; Givant, Steven R. ; Mckenzie, Ralph N. | Birkhäuser 1986

Ouvrage

- 757 p.
Call n° : 00011164
oeuvres complètes # Tarski

01A60 ; 01A65 ; 01A70

Location : Oeuvres complètes RdC (TARS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Colleted papers. Vol. 3 Tarski, Alfred ; Givant, Stevan R. ; Mckenzie, Ralph N. | Birkhäuser 1986

Ouvrage

- 682 p.
Call n° : 00011165
oeuvres complètes # Tarski

01A60 ; 01A65 ; 01A70

Location : Oeuvres complètes RdC (TARS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Collected papers. Vol. 2 Tarski, Alfred ; Givant, Steven R. ; Mckenzie, Ralph N. | Birkhäuser 1986

Ouvrage

- 699 p.
Call n° : 00011166
oeuvres comlètes # Tarski

01A60 ; 01A70 ; 10A65

Location : Oeuvres complètes RdC (TARS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Collected papers. Vol. 1 Tarski, Alfred ; Givant, Steven R. ; Mckenzie, Ralph N. | Birkhäuser 1986

Ouvrage

- 659 p.
Call n° : 00011167
oeuvres compètes # Tarski

01A60 ; 01A65 ; 01A70

Location : Oeuvres complètes RdC (TARS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A formalization of set theory without variables Tarski, Alfred ; Givant, Steven | American Mathematical Society 1987

Ouvrage

- 318 p.
Call n° : 00012022
logique # logique mathématique # logique symbolique # théorie d'ensembles

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

Location : Collection 1er étage

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Direct decompositions of finite algebraic systems Jonsson, Bjarni ; Tarski, Alfred | Notre Dame 1947

Ouvrage

- 64 p.
Call n° : 00004161
algèbre # centre d'une algèbre # décomposition directe de système # système algébrique fini

08A30 ; 08A40 ; 08B25 ; 20N15

Location : Ouvrage RdC (JONS)

Bookmarks

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

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Introduction à la logique Tarski, Alfred ; Tremblay, Jacques S. J. | Gauthier-Villars ; Louvain E. Nauwelaerts 1960

Ouvrage

- 246 p.
Call n° : 00003938
calcul des propositions # logique mathématique # méthode déductive # méthodologie # théorie des relations

03B05 ; 03B80 ; 03F55 ; 03F65

Location : Disparu;Ouvrage RdC (TARS)

Bookmarks

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

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language