Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov. Logic in Computer Science. J. UCS, 3(11):1133, 1997. [doi]
On 8 August 1997, prompted by the visit of Hajime Ishihara from JAIST (the Japan Advanced Institute of Science & Technology, Hokoriku), the Centre for Discrete Mathematics & Theoretical Computer Science held a one-day workshop on Logic in Computer Science at the University of Auckland, New Zealand. This workshop brought together a number of mathematicians and computer scientists interested in computability, complexity, constructive mathematics, and other aspects of theoretical computer science. The proceedings of the workshop, having been subjected to the normal process of refereeing, are now collected together in this special issue of J. UCS, where the reader will find a wide variety of papers, dealing with subjects ranging from constructive aspects of the Dirichlet Problem to pure recursion theory and from partial orders to automata theory.