Introductory logic and formal methods

Manylion Llyfryddiaeth
Prif Awdur:	Heath, David
Awduron Eraill:	Allum, Derek, Dunckley, Lynne
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Oxfordshire Alfred Waller Ltd. c1994.
Pynciau:	Z (Computer program language) Logic, Symbolic and mathematical.