%0 Journal Article %1 journals/jsyml/McNaughton53 %A McNaughton, Robert %D 1953 %J J. Symb. Log. %K dblp %N 2 %P 136-144 %T Some Formal Relative Consistency Proofs. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml18.html#McNaughton53 %V 18

@article{journals/jsyml/McNaughton53, added-at = {2014-08-05T00:00:00.000+0200}, author = {McNaughton, Robert}, biburl = {https://www.bibsonomy.org/bibtex/265443669a66eb4533c3199132aa7b55f/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183731603}, interhash = {17b448022ffe61e62568fa0234df19b7}, intrahash = {65443669a66eb4533c3199132aa7b55f}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {136-144}, timestamp = {2015-06-18T02:29:55.000+0200}, title = {Some Formal Relative Consistency Proofs.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml18.html#McNaughton53}, volume = 18, year = 1953 }