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 Givant, Steven 3 results

Filter
Select: All / None
Q
K | F x r
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

Decision problems for equational theories of relation algebras Andréka, Hajnal ; Givant, Steven ; Németi , Istvan | American Mathematical Society 1997

Ouvrage


Call n° : 00018698
algèbre de relation # décidabilité # indécidabilité # logique mathématique

03B05 ; 03B25 ; 03G15 ; 08B15

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

Introduction to Boolean algebras Givant, Steven ; Halmos, Paul | Springer 2009

Ouvrage

- xiv; 574 p.
Call n° : 00035643
structures ordonnées # algèbre booléenne # anneau booléen # espace booléen # algèbre de mesures

06Exx ; 06-01 ; 06E05 ; 06E10 ; 06E15

Location : Ouvrage RdC (GIVA)

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

Authors

Reference

MSC Codes

J More

Publication Date