Dowsing, R. D., Rayward-Smith, V. J., & Walter, C. D. (1986). A first course in formal logic and its applications in computer science. Blackwell.
Chicago-Zitierstil (17. Ausg.)Dowsing, Roy D., Victor J. Rayward-Smith, und C. D. Walter. A First Course in Formal Logic and Its Applications in Computer Science. Oxford u.a: Blackwell, 1986.
MLA-Zitierstil (9. Ausg.)Dowsing, Roy D., et al. A First Course in Formal Logic and Its Applications in Computer Science. Blackwell, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.