@article{1093883051,
author = {Porte, Jean},
title = {Simplifying the axioms of the predicate calculus.},
journal = {Notre Dame J. Formal Logic},
volume = {21},
number = {1},
year = {1980},
pages = { 346-350},
language = {en},
url = {http://dml.mathdoc.fr/item/1093883051}
}
Porte, Jean. Simplifying the axioms of the predicate calculus.. Notre Dame J. Formal Logic, Tome 21 (1980) no. 1, pp. 346-350. http://gdmltest.u-ga.fr/item/1093883051/