W webdocs.cs.ualberta.ca Introduction to Logic in Computing Science [pdf] 29 points motxilo 16 years ago 5 comments
