Handbook of logic in computer science - Abramsky, Samson, 1953-; Gabbay, Dov M., 1945-; Maibaum, Thomas S. E., 1947- (Clarendon Press, 1992)
Τ. 1. - xii, 827 σ. - 1992 ; τ. 2. x, 571 σ. - 1992 ; τ. 5. - x, 571 σ. - 2000.