Workshop 4 - (for iPod) How do we do proofs? (Part I) 2009-10 edition
How do we do proofs? (Part I) 2009-10 edition Further module materials are available for download from The University of Nottingham open courseware site: http://unow.nottingham.ac.uk/resources/resource.aspx?hid=c6c045f6-286d-6b9f-b96c-36a998632fc3