@article{journals/mlq/Zimmermann10,
  added-at = {2010-03-17T00:00:00.000+0100},
  author = {Zimmermann, Ernst},
  biburl = {http://www.bibsonomy.org/bibtex/2efaaa047020a66fa5cdcef05463de72f/dblp},
  date = {2010-03-17},
  description = {dblp},
  ee = {http://dx.doi.org/10.1002/malq.200810042},
  interhash = {c03f1c52261d9912bd7ce9afc37f840e},
  intrahash = {efaaa047020a66fa5cdcef05463de72f},
  journal = {Math. Log. Q.},
  keywords = {dblp},
  number = 1,
  pages = {85-88},
  timestamp = {2010-03-17T00:00:00.000+0100},
  title = {Full Lambek Calculus in natural deduction.},
  url = {http://dblp.uni-trier.de/db/journals/mlq/mlq56.html#Zimmermann10},
  volume = 56,
  year = 2010
}