Publié le : 1992-12-14
Classification:
03B30,
03-04,
03B35,
68T15
@article{1093634569,
author = {McCune, William W.},
title = {Single axioms for the left group and right group calculi.},
journal = {Notre Dame J. Formal Logic},
volume = {33},
number = {3},
year = {1992},
pages = { 132-139},
language = {en},
url = {http://dml.mathdoc.fr/item/1093634569}
}
McCune, William W. Single axioms for the left group and right group calculi.. Notre Dame J. Formal Logic, Tome 33 (1992) no. 3, pp. 132-139. http://gdmltest.u-ga.fr/item/1093634569/