Publié le : 1990-09-14
Classification:
03B05,
03D10,
03D35
@article{1093635592,
author = {Schumm, George F. and Shapiro, Stewart},
title = {Expressive completeness and decidability.},
journal = {Notre Dame J. Formal Logic},
volume = {31},
number = {2},
year = {1990},
pages = { 576-579},
language = {en},
url = {http://dml.mathdoc.fr/item/1093635592}
}
Schumm, George F.; Shapiro, Stewart. Expressive completeness and decidability.. Notre Dame J. Formal Logic, Tome 31 (1990) no. 2, pp. 576-579. http://gdmltest.u-ga.fr/item/1093635592/