Nadler, Morton

• Topics in engineering logic