Introductory logic and formal methods

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Heath, David
অন্যান্য লেখক:	Allum, Derek, Dunckley, Lynne
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Oxfordshire Alfred Waller Ltd. c1994.
বিষয়গুলি:	Z (Computer program language) Logic, Symbolic and mathematical.