A First Course in Formal Logic and its Applications in Computer Science

R. Dowsing, V. J. Rayward-Smith, C. D. Walter

Research output: Book/ReportBook

Original languageUndefined/Unknown
PublisherBlackwell Scientific Publications, Oxford
ISBN (Print)978-0632013081
Publication statusPublished - 1986

Cite this