%0 Journal Article %1 journals/jsyml/Rosser37 %A Rosser, J. Barkley %D 1937 %J J. Symb. Log. %K dblp %N 3 %P 129-137 %T Gödel Theorems for Non-Constructive Logics. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml2.html#Rosser37 %V 2

@article{journals/jsyml/Rosser37, added-at = {2014-08-05T00:00:00.000+0200}, author = {Rosser, J. Barkley}, biburl = {https://www.bibsonomy.org/bibtex/2453ebca24fdad1c01a5fe43c11fce5d6/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183383696}, interhash = {020fba6d002544d27cb7b53d88d5ed2f}, intrahash = {453ebca24fdad1c01a5fe43c11fce5d6}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 3, pages = {129-137}, timestamp = {2015-06-18T02:37:30.000+0200}, title = {Gödel Theorems for Non-Constructive Logics.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml2.html#Rosser37}, volume = 2, year = 1937 }