Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov. Logic in Computer Science. J. UCS, 3(11):1133, 1997. [doi]
@article{BridgesCDK97,
title = {Logic in Computer Science},
author = {Douglas S. Bridges and Cristian Calude and Michael J. Dinneen and Bakhadyr Khoussainov},
year = {1997},
url = {http://www.jucs.org/jucs_3_11/logic_in_computer_science},
tags = {automata theory, e-science, logic},
researchr = {https://researchr.org/publication/BridgesCDK97},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {3},
number = {11},
pages = {1133},
}