
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Out of Stock

Understanding and Writing Compilers: A Do It Yourself Guide (Macmillan Computer Science Series)
Out of Stock

Programming from First Principles (Prentice-Hall International series in computer science)
Out of Stock