Logic from computer. (1992). Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989. Springer-Verlag.
Παραπομπή Chicago StyleLogic from computer. Logic from Computer Science: Proceedings of a Workshop Held Nov. 13-17, 1989. New York: Springer-Verlag, 1992.
Παραπομπή MLALogic from computer. Logic from Computer Science: Proceedings of a Workshop Held Nov. 13-17, 1989. Springer-Verlag, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.