Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
0
0
Author Description
Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs
Page Count:
305
Publication Date:
1993-01-01
ISBN-10:
013564139X
ISBN-13:
9780135641392
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!