%0 Journal Article %1 journals/aml/Veldman04 %A Veldman, Wim %D 2004 %J Arch. Math. Log. %K dblp %N 2 %P 215-264 %T An intuitionistic proof of Kruskal's theorem. %U http://dblp.uni-trier.de/db/journals/aml/aml43.html#Veldman04 %V 43

@article{journals/aml/Veldman04, added-at = {2004-10-08T00:00:00.000+0200}, author = {Veldman, Wim}, biburl = {https://www.bibsonomy.org/bibtex/2643c71689accf80e09ead37d8488d67d/dblp}, date = {2004-10-08}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s00153-003-0207-x}, interhash = {42c908f889d5824f8a2923d1f3a7355b}, intrahash = {643c71689accf80e09ead37d8488d67d}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 2, pages = {215-264}, timestamp = {2004-10-08T00:00:00.000+0200}, title = {An intuitionistic proof of Kruskal's theorem.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml43.html#Veldman04}, volume = 43, year = 2004 }