Introductory logic and formal methods

Bibliographic Details
Main Author:	Heath, David
Other Authors:	Allum, Derek, Dunckley, Lynne
Format:	Book
Language:	English
Published:	Oxfordshire Alfred Waller Ltd. c1994.
Subjects:	Z (Computer program language) Logic, Symbolic and mathematical.