Publié le : 1960-05-14
Classification:
02.12
@article{1093956551,
author = {Thomas, Ivo},
title = {Functional completeness of Henkin's propositional fragments.},
journal = {Notre Dame J. Formal Logic},
volume = {1},
number = {1-2},
year = {1960},
pages = { 107-110},
language = {en},
url = {http://dml.mathdoc.fr/item/1093956551}
}
Thomas, Ivo. Functional completeness of Henkin's propositional fragments.. Notre Dame J. Formal Logic, Tome 1 (1960) no. 1-2, pp. 107-110. http://gdmltest.u-ga.fr/item/1093956551/