A first course in formal logic and its applications in computer science

Front Cover
Blackwell Scientific Publications, 1986 - Mathematics - 265 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Propositional Calculus
1
Logic and Digital Electronic Circuits
38
Predicate Calculus
88
Copyright

5 other sections not shown

Common terms and phrases

Bibliographic information