%0 Journal Article %1 journals/jsyml/BarendregtBD93 %A Barendregt, Henk %A Bunder, Martin W. %A Dekkers, Wil %D 1993 %J J. Symb. Log. %K dblp %N 3 %P 769-788 %T Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#BarendregtBD93 %V 58

@article{journals/jsyml/BarendregtBD93, added-at = {2014-08-05T00:00:00.000+0200}, author = {Barendregt, Henk and Bunder, Martin W. and Dekkers, Wil}, biburl = {https://www.bibsonomy.org/bibtex/2c5e1ae9c14d870e684310015cead5a32/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183744297}, interhash = {46f1ae6dd0f24282524f8f3ceba39743}, intrahash = {c5e1ae9c14d870e684310015cead5a32}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {769-788}, timestamp = {2015-06-18T02:24:03.000+0200}, title = {Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml58.html#BarendregtBD93}, volume = 58, year = 1993 }