%0 Journal Article %1 journals/mlq/Cowles81 %A Cowles, John R. %D 1981 %J Math. Log. Q. %K dblp %N 31-35 %P 549-555 %T The Henkin Quantifier and Real Closed Fields. %U http://dblp.uni-trier.de/db/journals/mlq/mlq27.html#Cowles81 %V 27

@article{journals/mlq/Cowles81, added-at = {2017-05-17T00:00:00.000+0200}, author = {Cowles, John R.}, biburl = {https://www.bibsonomy.org/bibtex/20056ce2fb36c7873e64f465ddcb51cfc/dblp}, ee = {https://doi.org/10.1002/malq.19810273107}, interhash = {77462c2d7cd6f95961332a85ccf3a3e8}, intrahash = {0056ce2fb36c7873e64f465ddcb51cfc}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {31-35}, pages = {549-555}, timestamp = {2017-05-18T12:07:04.000+0200}, title = {The Henkin Quantifier and Real Closed Fields.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq27.html#Cowles81}, volume = 27, year = 1981 }