@article{1093888329,
author = {Soboci\'nski, Boles\l aw},
title = {Awkward axiom-systems.},
journal = {Notre Dame J. Formal Logic},
volume = {19},
number = {1},
year = {1978},
pages = { 315-320},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888329}
}
Sobociński, Bolesław. Awkward axiom-systems.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 315-320. http://gdmltest.u-ga.fr/item/1093888329/