%0 Journal Article %1 journals/synthese/BakerH03 %A Baker, G. P. %A Hacker, P. M. S. %D 2003 %J Synthese %K dblp %N 3 %P 273-297 %T Functions In Begriffsschrift. %U http://dblp.uni-trier.de/db/journals/synthese/synthese135.html#BakerH03 %V 135

@article{journals/synthese/BakerH03, added-at = {2015-09-28T00:00:00.000+0200}, author = {Baker, G. P. and Hacker, P. M. S.}, biburl = {https://www.bibsonomy.org/bibtex/23435001758dd4b0724a037d0e525cabf/dblp}, ee = {http://dx.doi.org/10.1023/A:1023509611120}, interhash = {b011dd2d7ab66e859d2729582bfcc4cb}, intrahash = {3435001758dd4b0724a037d0e525cabf}, journal = {Synthese}, keywords = {dblp}, number = 3, pages = {273-297}, timestamp = {2015-09-29T11:33:04.000+0200}, title = {Functions In Begriffsschrift.}, url = {http://dblp.uni-trier.de/db/journals/synthese/synthese135.html#BakerH03}, volume = 135, year = 2003 }