@article{1093891208, author = {Meredith, David}, title = {Combinatory and propositional logic.}, journal = {Notre Dame J. Formal Logic}, volume = {15}, number = {1}, year = {1974}, pages = { 156-160}, language = {en}, url = {http://dml.mathdoc.fr/item/1093891208} }
Meredith, David. Combinatory and propositional logic.. Notre Dame J. Formal Logic, Tome 15 (1974) no. 1, pp. 156-160. http://gdmltest.u-ga.fr/item/1093891208/