%0 Journal Article %1 lambek1968deductive %A Lambek, Joachim %D 1968 %I Springer-Verlag %J Mathematical systems theory %K category %N 4 %P 287-318 %R 10.1007/BF01703261 %T Deductive systems and categories %U http://dx.doi.org/10.1007/BF01703261 %V 2

@article{lambek1968deductive, added-at = {2015-01-19T05:16:43.000+0100}, author = {Lambek, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2e1d6ebcbccdf848a3d66b26f4ad2a89e/t.uemura}, description = {Deductive systems and categories - Springer}, doi = {10.1007/BF01703261}, interhash = {a82a32014cc55534ea5515861de00546}, intrahash = {e1d6ebcbccdf848a3d66b26f4ad2a89e}, issn = {0025-5661}, journal = {Mathematical systems theory}, keywords = {category}, language = {English}, number = 4, pages = {287-318}, publisher = {Springer-Verlag}, timestamp = {2015-01-19T05:16:43.000+0100}, title = {Deductive systems and categories}, url = {http://dx.doi.org/10.1007/BF01703261}, volume = 2, year = 1968 }