Accessible Open Logic Text — Complete English HTML and EPUB edition
The Open Logic Text is a free textbook covering mathematical logic, from sets and formal proofs to computability and the limits of formal reasoning. This English edition makes the book available as accessible web pages and a downloadable ebook. Read the book online Choose Read for the text and equations, Listen / words...