Y. N. Moschovakis (Ed.), Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989, Springer-Verlag, 1992 (informationswissenschaftl. Veröffentlichungen)