“Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)” has been added to your cart. View cart
Showing 7249–7272 of 16437 results
- Forsyth, Hazel; Ehrman, Edwina; O'Connell, Rory; Pearce, Jacqui; Peltz, Lucy; Ross, Cathy