Dowsing, R., Walter, C. D., & Rayward-Smith, V. J. (1986). A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. Blackwell Scientific.
Chicago Style (17th ed.) CitationDowsing, R., C. D. Walter, and V. J. Rayward-Smith. A First Course in Formal Logic and Its Applications in Computer Science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. Oxford: Blackwell Scientific, 1986.
MLA (9th ed.) CitationDowsing, R., et al. A First Course in Formal Logic and Its Applications in Computer Science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter. Blackwell Scientific, 1986.
Warning: These citations may not always be 100% accurate.