%0 Journal Article %1 journals/jsyml/McLarty92 %A McLarty, Colin %D 1992 %J J. Symb. Log. %K dblp %N 2 %P 555-556 %T Failure of Cartesian Closedness in NF. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml57.html#McLarty92 %V 57

@article{journals/jsyml/McLarty92, added-at = {2014-08-05T00:00:00.000+0200}, author = {McLarty, Colin}, biburl = {https://www.bibsonomy.org/bibtex/282f448c667f3626f5e0ff736fec251d0/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183743976}, interhash = {57f3e1643bb580a0699a80d2315c414c}, intrahash = {82f448c667f3626f5e0ff736fec251d0}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {555-556}, timestamp = {2015-06-18T02:35:12.000+0200}, title = {Failure of Cartesian Closedness in NF.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml57.html#McLarty92}, volume = 57, year = 1992 }