Publié le : 1979-04-14
Classification:
03B05,
03B25,
03D03
@article{1093882551,
author = {Gladstone, M. D.},
title = {The decidability of one-variable propositional calculi.},
journal = {Notre Dame J. Formal Logic},
volume = {20},
number = {1},
year = {1979},
pages = { 438-450},
language = {en},
url = {http://dml.mathdoc.fr/item/1093882551}
}
Gladstone, M. D. The decidability of one-variable propositional calculi.. Notre Dame J. Formal Logic, Tome 20 (1979) no. 1, pp. 438-450. http://gdmltest.u-ga.fr/item/1093882551/