Abstract
For many years, I've used in my MA305H (Introduction to Mathematical Logic for Honors) course a free and open-source textbook called forallx, written by P.D. Magnus, and distributed on his website. Recently, a mathematical software project I'm involved in, called Lurch, got sophisticated enough that it should be able to help students out with all their homework in the course. In order to make it easy for my students to use Lurch with forallx, and for any other instructor to adopt both the free software and the free textbook for their courses, I created a version of P.D.'s text that integrates Lurch throughout. While doing so, I also reorganized some of the text to better suit the order in which I teach things in my course.
| Original language | English |
|---|---|
| Publisher | self-published for free on the web |
| Number of pages | 194 |
| State | Published - 2013 |