%0 Journal Article %1 journals/bsl/Hansson00 %A Hansson, Sven Ove %D 2000 %J Bull. Symb. Log. %K dblp %N 2 %P 162-175 %T Formalization in philosophy. %U http://dblp.uni-trier.de/db/journals/bsl/bsl6.html#Hansson00 %V 6

@article{journals/bsl/Hansson00, added-at = {2020-07-03T00:00:00.000+0200}, author = {Hansson, Sven Ove}, biburl = {https://www.bibsonomy.org/bibtex/2a7a2e41df72ff44383d9042c7311bc3f/dblp}, ee = {https://doi.org/10.2307/421204}, interhash = {70435cf9488125227756940e7602302d}, intrahash = {a7a2e41df72ff44383d9042c7311bc3f}, journal = {Bull. Symb. Log.}, keywords = {dblp}, number = 2, pages = {162-175}, timestamp = {2020-07-04T11:52:57.000+0200}, title = {Formalization in philosophy.}, url = {http://dblp.uni-trier.de/db/journals/bsl/bsl6.html#Hansson00}, volume = 6, year = 2000 }