The first section texts were checked in to the OLP GitHub repository just over 10 years ago. That first checkin consisted of just a few style files and six sections on sets and relations, and relational semantics for modal logic. Meanwhile it’s grown to close to 1,000 pages. Check out what’s there now on the download site!
1 comment
Comments are closed.
Ben Crowell
@openlogic Happy birthday!Your project's books are included in my catalog of free-information books, The Assayer: http://theassayer.org/subject/logic_and_set_theoryIf you know of any other books on logic I should list, that would be great. My criteria for inclusion are on the site's home page.I hope you won't mind a little free-information one-upsmanship: The Assayer just turned 22, and I recently rewrote the code and gave the site a make-over.