A first course in formal logic and its applications in computer science
By: R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter.
Contributors: Rayward-Smith, V. J.; Walter, C. D.
Series: Computer science texts
Publisher: Blackwell Scientific Publications
Published: 1986
Place of publication: Oxford; Boston
Language: eng
Number of pages: 265
Subjects: Logic, Symbolic and mathematical.; Computer science -- Mathematics.
Other titles: Formal logic and its applications in computer science.
Notes: Bibliography: p. 259-260.
Includes index.