Title: A first course in formal logic and its applications in computer science
First published: 1986
Subjects: Electronic data processing, Electronic digital computers, Logic, Symbolic and Mathematical, Mathematics, Programming, Symbolic and mathematical Logic
LC classification: QA76.6