%0 Journal Article %1 journals/mlq/Rose87a %A Rose, Alan %D 1987 %J Math. Log. Q. %K dblp %N 3 %P 243-244 %T A Strongly Complete Formalisation of a 5-Valued Propositional Calculus. %U http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Rose87a %V 33

@article{journals/mlq/Rose87a, added-at = {2016-11-30T00:00:00.000+0100}, author = {Rose, Alan}, biburl = {https://www.bibsonomy.org/bibtex/2cc6dc8455562c70a19c418507dd86198/dblp}, ee = {http://dx.doi.org/10.1002/malq.19870330307}, interhash = {21418ee4cba843f03afa6a216bc784ca}, intrahash = {cc6dc8455562c70a19c418507dd86198}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 3, pages = {243-244}, timestamp = {2016-12-01T11:34:16.000+0100}, title = {A Strongly Complete Formalisation of a 5-Valued Propositional Calculus.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq33.html#Rose87a}, volume = 33, year = 1987 }