Άλλοι συγγραφείς:	Abramsky, Samson, 1953-, Gabbay, Dov M., Maibaum, Thomas S. E.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Oxford : New York : Clarendon Press, Oxford University Press 1992
Θέματα:	Computer science Logic, Symbolic and mathematical