Άλλοι συγγραφείς:	Abramsky, S., Gabbay, Dov M., Maibaum, T. S. E., Abramsky, Samson, 1953-, Maibaum, Thomas S. E.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Oxford: Clarendon Press, 1992-1995
Θέματα:	ΗΛΕΚΤΡΟΝΙΚΟΙ ΥΠΟΛΟΓΙΣΤΕΣ ΛΟΓΙΚΗ, ΣΥΜΒΟΛΙΚΗ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ Computer science Logic, Symbolic and mathematical