%0 Journal Article %1 journals/aml/DekkersBB98 %A Dekkers, Wil %A Bunder, Martin W. %A Barendregt, Henk %D 1998 %J Arch. Math. Log. %K dblp %N 5-6 %P 327-341 %T Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. %U http://dblp.uni-trier.de/db/journals/aml/aml37.html#DekkersBB98 %V 37

@article{journals/aml/DekkersBB98, added-at = {2008-07-15T00:00:00.000+0200}, author = {Dekkers, Wil and Bunder, Martin W. and Barendregt, Henk}, biburl = {https://www.bibsonomy.org/bibtex/23d8b2fbddf426f689628eab3b908ebd0/dblp}, date = {2008-07-15}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s001530050102}, interhash = {9fc78c52d11dac5587309d5d8386df49}, intrahash = {3d8b2fbddf426f689628eab3b908ebd0}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = {5-6}, pages = {327-341}, timestamp = {2008-07-16T11:59:54.000+0200}, title = {Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml37.html#DekkersBB98}, volume = 37, year = 1998 }