%0 Journal Article %1 journals/ndjfl/Ferrer78 %A Ferrer, Xavier Caicedo %D 1978 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 147-151 %T A formal system for the non-theorems of the propositional calculus. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl19.html#Ferrer78 %V 19

@article{journals/ndjfl/Ferrer78, added-at = {2020-05-21T00:00:00.000+0200}, author = {Ferrer, Xavier Caicedo}, biburl = {https://www.bibsonomy.org/bibtex/2498d8726adb6eaccdcd0e21a584d96d6/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093888218}, interhash = {e70facac6119c1a7f9c293e161bf6a21}, intrahash = {498d8726adb6eaccdcd0e21a584d96d6}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {147-151}, timestamp = {2020-05-23T12:16:29.000+0200}, title = {A formal system for the non-theorems of the propositional calculus.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl19.html#Ferrer78}, volume = 19, year = 1978 }