Logic in Computer Science

Douglas Bridges; Cristian S. Calude; Michael Dinneen; Bakhadyr Khoussainov

doi:10.3217/jucs-003-11

JUCS - Journal of Universal Computer Science 3(11): 1133-1133, doi: 10.3217/jucs-003-11

Logic in Computer Science

Douglas S. Bridges^‡, Cristian S. S. Calude^§, Michael J. Dinneen^|, Bakhadyr Khoussainov^¶

‡ Department of Mathematics, University of Waikato, Hamilton, New Zealand§ University of Auckland, Auckland, New Zealand| Department of Computer Science, University of Auckland, Auckland, New Zealand¶ The University of Auckland, Auckland, New Zealand and Cornell University, Auckland, New Zealand

Corresponding author: Douglas Bridges ( douglas@waikato.ac.nz )

This article is freely available under the J.UCS Open Content License.

Citation: Bridges DS, Calude CSS, Dinneen MJ, Khoussainov B (1997) Logic in Computer Science. JUCS - Journal of Universal Computer Science 3(11): 1133-1133. https://doi.org/10.3217/jucs-003-11