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.
Object Oriented Technologies Rick Gibson 2000 Computer Science Idea Group
It’s an essential resource for professionals, researchers, and students delving into the complexities of modern computing.
Selected Papers on Computer Languages Donald E. Knuth 2003 CSLI Paperback
It features comprehensive coverage of programming language semantics, formal grammars, and algorithm design, showcasing Knuth’s profound influence on the field.