Introductory logic and formal methods

Bibliografische gegevens
Hoofdauteur:	Heath, David
Andere auteurs:	Allum, Derek, Dunckley, Lynne
Formaat:	Boek
Taal:	English
Gepubliceerd in:	Oxfordshire Alfred Waller Ltd. c1994.
Onderwerpen:	Z (Computer program language) Logic, Symbolic and mathematical.