%0 Journal Article %1 journals/bsl/KamareddineLN02 %A Kamareddine, Fairouz %A Laan, Twan %A Nederpelt, Rob %D 2002 %J Bull. Symb. Log. %K dblp %N 2 %P 185-245 %T Types in logic and mathematics before 1940. %U http://dblp.uni-trier.de/db/journals/bsl/bsl8.html#KamareddineLN02 %V 8

@article{journals/bsl/KamareddineLN02, added-at = {2020-07-03T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Laan, Twan and Nederpelt, Rob}, biburl = {https://www.bibsonomy.org/bibtex/2c44712a8ac1b2d517110de294b450fec/dblp}, ee = {https://doi.org/10.2178/bsl/1182353871}, interhash = {2ea6642baa91f10af3b04e3c7f7d7149}, intrahash = {c44712a8ac1b2d517110de294b450fec}, journal = {Bull. Symb. Log.}, keywords = {dblp}, number = 2, pages = {185-245}, timestamp = {2020-07-04T11:53:12.000+0200}, title = {Types in logic and mathematics before 1940.}, url = {http://dblp.uni-trier.de/db/journals/bsl/bsl8.html#KamareddineLN02}, volume = 8, year = 2002 }