Introductory logic and formal methods

Detaylı Bibliyografya
Yazar:	Heath, David
Diğer Yazarlar:	Allum, Derek, Dunckley, Lynne
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Oxfordshire Alfred Waller Ltd. c1994.
Konular:	Z (Computer program language) Logic, Symbolic and mathematical.