Download and print beautiful, customizable versions of classic literature. Adjust font size, page layout, and margins for your perfect reading experience.

:books: Freely available programming books. Contribute to EbookFoundation/free-programming-books development by creating an account on GitHub.

The Writathon is a writing event where authors challenge themselves to write 55,555 words in 5 weeks.

Open Library is an open, editable library catalog, building towards a web page for every book ever published. Read, borrow, and discover more than 3M books for free.

The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity is helpful. A one-semester course can expect to cover Logical Foundations plus most of Programming Language Foundations or Verified Functional Algorithms, or selections from both.

It’s 2009. A generation of digital natives is careening towards college. The economy is rebooting itself weekly. We have new responsibilities now—as employees, citizens, and friends—and we have new capabilities, too. The new liberal arts equip us for a world like this. But… what are they?

That was the setup—and now, thanks to a big collaborative effort, we’ve got a beautiful book full of ideas.

Not sure of the legality of this… but you still can access these on the Safari bookshelf using a U of C proxy!