Publié le : 1978-01-14
Classification:
02B05,
02G05
@article{1093888218,
author = {Caicedo Ferrer, Xavier},
title = {A formal system for the non-theorems of the propositional calculus.},
journal = {Notre Dame J. Formal Logic},
volume = {19},
number = {1},
year = {1978},
pages = { 147-151},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888218}
}
Caicedo Ferrer, Xavier. A formal system for the non-theorems of the propositional calculus.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 147-151. http://gdmltest.u-ga.fr/item/1093888218/