Ray Turner

Ray Turner

Born	April 28, 1947 (1947-04-28) (age 64) England
Nationality	British
Occupation	Professor
Employer	University of Essex
Known for	his publications on Logic in computer science and the Philosophy of computer science

Professor Raymond Turner (born 28 April 1947) is an English logician and theoretical computer scientist based at the University of Essex. He is best known for his work on logic in computer science and for his pioneering work in the philosophy of computer science. He is on the editorial boards for the "Journal of Logic and Computation"^[1] and the "Stanford Encyclopaedia of Philosophy: Editor Logic, Computation, and Agency."^[2]

Books

Logics for Artificial Intelligence, 121 pages, E. Horwood, 1984, ISBN 0470201231
Truth and Modality for Knowledge Representation, 119 pages, Pitman, 1990, ISBN 0273031864
Constructive Foundations for Functional Languages, 288 pages, McGraw-Hill Publishing Co, 1 May 1991, ISBN 0077074114
Computable Models, 240 pages, Springer, 2009, ISBN 1848820518

Persondata
Name	Turner, Ray
Alternative names
Short description
Date of birth	28 April 1947
Place of birth	England
Date of death
Place of death

Ray Turner

Books

References