%0 Journal Article %1 journals/aml/Stein78 %A Stein, Martin %D 1978 %J Arch. Math. Log. %K dblp %N 1 %P 175-189 %T Interpretationen der Heyting-Arithmetik endlicher Typen. %U http://dblp.uni-trier.de/db/journals/aml/aml19.html#Stein78 %V 19

@article{journals/aml/Stein78, added-at = {2016-11-28T00:00:00.000+0100}, author = {Stein, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23bed3a12733bed2b15bf3e90d8db59c2/dblp}, ee = {http://dx.doi.org/10.1007/BF02011878}, interhash = {8404382a126244e4a2e70b5dfd71c278}, intrahash = {3bed3a12733bed2b15bf3e90d8db59c2}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 1, pages = {175-189}, timestamp = {2016-11-29T10:33:14.000+0100}, title = {Interpretationen der Heyting-Arithmetik endlicher Typen.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml19.html#Stein78}, volume = 19, year = 1978 }