Truth, Deduction, Computation Ruth E. Davis 1989 Logic Computer Science Press

This essential text delves into the intricate world of logic and semantics, crucial for understanding programming languages and electronic data processing.