Geodesic
Stable surjection logic
Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 45-57

Voir la notice de l'article provenant de la source Numdam

MR   Zbl   EuDML 

McLarty, Colin. Stable surjection logic. Diagrammes, Actes Volume 1. Journées d'études esquisses, logique et informatique théorique, Tome 22 (1989), pp. 45-57. http://geodesic.mathdoc.fr/item/DIA_1989__22__45_0/
@article{DIA_1989__22__45_0,
     author = {McLarty, Colin},
     title = {Stable surjection logic},
     journal = {Diagrammes},
     pages = {45--57},
     year = {1989},
     publisher = {Universit\'e Paris 7, Unit\'e d'enseignement et de recherche de math\'ematiques},
     volume = {22},
     mrnumber = {1059270},
     zbl = {0695.03005},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DIA_1989__22__45_0/}
}
TY  - JOUR
AU  - McLarty, Colin
TI  - Stable surjection logic
JO  - Diagrammes
PY  - 1989
SP  - 45
EP  - 57
VL  - 22
PB  - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
UR  - http://geodesic.mathdoc.fr/item/DIA_1989__22__45_0/
LA  - en
ID  - DIA_1989__22__45_0
ER  - 
%0 Journal Article
%A McLarty, Colin
%T Stable surjection logic
%J Diagrammes
%D 1989
%P 45-57
%V 22
%I Université Paris 7, Unité d'enseignement et de recherche de mathématiques
%U http://geodesic.mathdoc.fr/item/DIA_1989__22__45_0/
%G en
%F DIA_1989__22__45_0