Publié le : 1982-10-14
Classification:
03B05,
03B35,
03D15,
03F20,
68C25
@article{1093870151,
author = {Evangelist, Michael},
title = {Nonstandard propositional logics and their application to complexity theory.},
journal = {Notre Dame J. Formal Logic},
volume = {23},
number = {3},
year = {1982},
pages = { 384-392},
language = {en},
url = {http://dml.mathdoc.fr/item/1093870151}
}
Evangelist, Michael. Nonstandard propositional logics and their application to complexity theory.. Notre Dame J. Formal Logic, Tome 23 (1982) no. 3, pp. 384-392. http://gdmltest.u-ga.fr/item/1093870151/