For Sale. Prices exclude postage. Tell me how you want it delivered and I'll get you a quote. I'm in George if you want to arrange to collect.
COS201/301 R200 : Introduction to Computer Theory by Cohen 1997 (good condition). I'll also send a DVD of lectures from Aduni (MIT lecturers) which was brilliant. Even if you don't buy this book, you can download the lecturers yourself - just google Aduni.
SOLD COS261 R250 : Language Proof and Logic by Barwise 2003 (good condition). I'll also send a CD of pdf of textbook and all the software that you'll need to reference while you go through the textbook.