%0 Journal Article %1 minari2004analytic %A Minari, Pierluigi %D 2004 %I Springer-Verlag %J Archive for Mathematical Logic %K calculi combinatory elimination transitivity %N 2 %P 159-191 %R 10.1007/s00153-003-0203-1 %T Analytic combinatory calculi and the elimination of transitivity %U http://dx.doi.org/10.1007/s00153-003-0203-1 %V 43

@article{minari2004analytic, added-at = {2014-11-23T03:15:44.000+0100}, author = {Minari, Pierluigi}, biburl = {https://www.bibsonomy.org/bibtex/2fefd947ac4231881e4c66da296156a39/t.uemura}, doi = {10.1007/s00153-003-0203-1}, interhash = {d6f859ba211a8d85fc666f1d0253d819}, intrahash = {fefd947ac4231881e4c66da296156a39}, issn = {0933-5846}, journal = {Archive for Mathematical Logic}, keywords = {calculi combinatory elimination transitivity}, language = {English}, number = 2, pages = {159-191}, publisher = {Springer-Verlag}, timestamp = {2014-11-23T03:15:44.000+0100}, title = {Analytic combinatory calculi and the elimination of transitivity}, url = {http://dx.doi.org/10.1007/s00153-003-0203-1}, volume = 43, year = 2004 }