Yuri Gurevich. Logic in computer Science Column. Bulletin of the EATCS, 35:71-81, 1988.
@article{Gurevich88, title = {Logic in computer Science Column}, author = {Yuri Gurevich}, year = {1988}, tags = {e-science, logic}, researchr = {https://researchr.org/publication/Gurevich88}, cites = {0}, citedby = {0}, journal = {Bulletin of the EATCS}, volume = {35}, pages = {71-81}, }