%0 Journal Article %1 journals/mlq/Weaver82 %A Weaver, George %D 1982 %J Math. Log. Q. %K dblp %N 14-18 %P 215-218 %T A Note on the Interpolation Theorem in First Order Logic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq28.html#Weaver82 %V 28

@article{journals/mlq/Weaver82, added-at = {2016-11-30T00:00:00.000+0100}, author = {Weaver, George}, biburl = {https://www.bibsonomy.org/bibtex/2885c53bc756f52ebbfb96bea6c672621/dblp}, ee = {http://dx.doi.org/10.1002/malq.19820281405}, interhash = {780a3d38e4c07755e8994259f7dcbb1b}, intrahash = {885c53bc756f52ebbfb96bea6c672621}, journal = {Math. Log. Q.}, keywords = {dblp}, number = {14-18}, pages = {215-218}, timestamp = {2016-12-01T11:34:12.000+0100}, title = {A Note on the Interpolation Theorem in First Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq28.html#Weaver82}, volume = 28, year = 1982 }