Publié le : 1986-10-14
Classification:
03F20,
03B35,
68T15
@article{1093636762,
author = {Dougherty, Daniel J.},
title = {Gentzen systems, resolution, and literal trees.},
journal = {Notre Dame J. Formal Logic},
volume = {27},
number = {1},
year = {1986},
pages = { 483-503},
language = {en},
url = {http://dml.mathdoc.fr/item/1093636762}
}
Dougherty, Daniel J. Gentzen systems, resolution, and literal trees.. Notre Dame J. Formal Logic, Tome 27 (1986) no. 1, pp. 483-503. http://gdmltest.u-ga.fr/item/1093636762/