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