Introductory logic and formal methods

Podrobná bibliografie
Hlavní autor:	Heath, David
Další autoři:	Allum, Derek, Dunckley, Lynne
Médium:	Kniha
Jazyk:	English
Vydáno:	Oxfordshire Alfred Waller Ltd. c1994.
Témata:	Z (Computer program language) Logic, Symbolic and mathematical.