%0 Journal Article %1 journals/apal/CrossleyS89 %A Crossley, John N. %A Scott, Philip J. %D 1989 %J Ann. Pure Appl. Log. %K dblp %N 1-2 %P 39-52 %T Completeness Proofs for Propositional Logic with Polynomial-Time Connectives. %U http://dblp.uni-trier.de/db/journals/apal/apal44.html#CrossleyS89 %V 44

@article{journals/apal/CrossleyS89, added-at = {2020-02-21T00:00:00.000+0100}, author = {Crossley, John N. and Scott, Philip J.}, biburl = {https://www.bibsonomy.org/bibtex/2aee6d756984504559c246cdcc877c818/dblp}, ee = {https://doi.org/10.1016/0168-0072(89)90044-4}, interhash = {bf4e43405357cb73eab789183ca45adc}, intrahash = {aee6d756984504559c246cdcc877c818}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = {1-2}, pages = {39-52}, timestamp = {2020-02-22T12:46:57.000+0100}, title = {Completeness Proofs for Propositional Logic with Polynomial-Time Connectives.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal44.html#CrossleyS89}, volume = 44, year = 1989 }