%0 Journal Article %1 journals/sLogica/SiegB98 %A Sieg, Wilfried %A Byrnes, John %D 1998 %J Stud Logica %K dblp %N 1 %P 67-106 %T Normal Natural Deduction Proofs (in classical logic). %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica60.html#SiegB98 %V 60

@article{journals/sLogica/SiegB98, added-at = {2020-09-01T00:00:00.000+0200}, author = {Sieg, Wilfried and Byrnes, John}, biburl = {https://www.bibsonomy.org/bibtex/270b9e58e12e1cc13c5e46c80cd1c3f5f/dblp}, ee = {https://doi.org/10.1023/A:1005091418752}, interhash = {51586207d7baa5644a05fb3c43b1dbd1}, intrahash = {70b9e58e12e1cc13c5e46c80cd1c3f5f}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {67-106}, timestamp = {2020-09-09T12:38:26.000+0200}, title = {Normal Natural Deduction Proofs (in classical logic).}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica60.html#SiegB98}, volume = 60, year = 1998 }