Heath, D., Allum, D., & Dunckley, L. (1994). Introductory logic and formal methods. Alfred Waller Ltd.
Цитирование в стиле Чикаго (17-е изд.)Heath, David, Derek Allum, и Lynne Dunckley. Introductory Logic and Formal Methods. Oxfordshire: Alfred Waller Ltd, 1994.
Цитирование MLA (9-е изд.)Heath, David, et al. Introductory Logic and Formal Methods. Alfred Waller Ltd, 1994.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.