Geodesic
An Axiomatization of the Algebra of Transformations Over a Set.
Mathematische Annalen, Tome 164 (1966), pp. 372-378.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : mathematical logic 
@article{MAN_1966__164_161413,
     author = {A.S. DAVIS},
     title = {An {Axiomatization} of the {Algebra} of {Transformations} {Over} a {Set.}},
     journal = {Mathematische Annalen},
     pages = {372--378},
     publisher = {mathdoc},
     volume = {164},
     year = {1966},
     zbl = {0151.00702},
     url = {http://geodesic.mathdoc.fr/item/MAN_1966__164_161413/}
}
TY  - JOUR
AU  - A.S. DAVIS
TI  - An Axiomatization of the Algebra of Transformations Over a Set.
JO  - Mathematische Annalen
PY  - 1966
SP  - 372
EP  - 378
VL  - 164
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1966__164_161413/
ID  - MAN_1966__164_161413
ER  - 
%0 Journal Article
%A A.S. DAVIS
%T An Axiomatization of the Algebra of Transformations Over a Set.
%J Mathematische Annalen
%D 1966
%P 372-378
%V 164
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1966__164_161413/
%F MAN_1966__164_161413
A.S. DAVIS. An Axiomatization of the Algebra of Transformations Over a Set.. Mathematische Annalen, Tome 164 (1966), pp. 372-378. http://geodesic.mathdoc.fr/item/MAN_1966__164_161413/