Revision as of 13:49, 22 April 2006 by EndreyMark (Filling with the most important links. Originally it was Martín Escardó's Computer Science page which made me to create a wikipage on this topic.)
Wikipedia's Computer science.
Structure and Interpretation of Computer Programs (by Harold Abelson and Gerald Jay Sussman with Julie Sussman, foreword by Alan J. Perlis).
Wikipedia's Computability theory.