%0 Journal Article %1 journals/bsl/Schroeder-Heister02 %A Schroeder-Heister, Peter %D 2002 %J Bull. Symb. Log. %K dblp %N 2 %P 246-265 %T Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. %U http://dblp.uni-trier.de/db/journals/bsl/bsl8.html#Schroeder-Heister02 %V 8

@article{journals/bsl/Schroeder-Heister02, added-at = {2020-07-03T00:00:00.000+0200}, author = {Schroeder-Heister, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2388c4f744972f01a7b3df4c406763aab/dblp}, ee = {https://doi.org/10.2178/bsl/1182353872}, interhash = {85834e7612977c483406ff46bc082f0c}, intrahash = {388c4f744972f01a7b3df4c406763aab}, journal = {Bull. Symb. Log.}, keywords = {dblp}, number = 2, pages = {246-265}, timestamp = {2020-07-04T11:52:57.000+0200}, title = {Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen.}, url = {http://dblp.uni-trier.de/db/journals/bsl/bsl8.html#Schroeder-Heister02}, volume = 8, year = 2002 }