%0 Journal Article %1 journals/igpl/Sanz07 %A de Campos Sanz, Wagner %D 2007 %J Logic Journal of the IGPL %K dblp %N 5-6 %P 767-774 %T A Note on Gentzen's LJ and NJ Systems Isomorphism. %U http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#Sanz07 %V 15

@article{journals/igpl/Sanz07, added-at = {2008-01-14T00:00:00.000+0100}, author = {de Campos Sanz, Wagner}, biburl = {https://www.bibsonomy.org/bibtex/2889df9d4387e8545c8668f175700c6d6/dblp}, date = {2008-01-14}, description = {dblp}, ee = {http://dx.doi.org/10.1093/jigpal/jzm048}, interhash = {cbdaa2fd72bfd330a92449d857f33437}, intrahash = {889df9d4387e8545c8668f175700c6d6}, journal = {Logic Journal of the IGPL}, keywords = {dblp}, number = {5-6}, pages = {767-774}, timestamp = {2008-01-15T11:04:08.000+0100}, title = {A Note on Gentzen's LJ and NJ Systems Isomorphism.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl15.html#Sanz07}, volume = 15, year = 2007 }