%0 Journal Article %1 journals/mlq/LambekS83 %A Lambek, Joachim %A Scott, Philip J. %D 1983 %J Math. Log. Q. %K dblp %N 10 %P 493-504 %T New Proofs of Some Intuitionistic Principles. %U http://dblp.uni-trier.de/db/journals/mlq/mlq29.html#LambekS83 %V 29

@article{journals/mlq/LambekS83, added-at = {2016-12-05T00:00:00.000+0100}, author = {Lambek, Joachim and Scott, Philip J.}, biburl = {https://www.bibsonomy.org/bibtex/27172bfc329bdf5cf114be13b8a126eeb/dblp}, ee = {http://dx.doi.org/10.1002/malq.19830291004}, interhash = {ee00f2dfda335a22c223191d10e51d93}, intrahash = {7172bfc329bdf5cf114be13b8a126eeb}, journal = {Math. Log. Q.}, keywords = {dblp}, number = 10, pages = {493-504}, timestamp = {2016-12-06T11:34:06.000+0100}, title = {New Proofs of Some Intuitionistic Principles.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq29.html#LambekS83}, volume = 29, year = 1983 }