forall x is licensed under the Creative Commons license (details below). You are free to distribute, reproduce, and modify the text.
If you are teaching a logic class and would like to use forall x as the course text, you can have a local copy center make copies for an entire class just as you would with a reader or course packet. This is cheaper than having students print their own copies and allows for some rudimentary binding. Since you are making the copies, you get options you would not get with a traditional textbook. Provided you leave the license information in tact, you are welcome to use only part of the book or to bundle it with additional practice problems or class handouts.
Because the book is maintained as an electronic document, updates and corrections will be made available as needed. At the same time, past editions will always remain under the same license. With physical textbooks, you can be forced to reconfigure your course when the book is released in a new and subtly different edition. With forall x, you will always be able to use any edition you please.
You are free to copy this book, to distribute it, to display it, and to make derivative works, under the following conditions: (1) Attribution. You must give the original author credit. (2) Share Alike. If you alter, transform, or build upon this work, you may distribute the resulting work only under a license similar to this one.
For any reuse or distribution, you must make clear to others the license terms of this work. Any of these conditions can be waived if you get permission from the copyright holder. Your fair use and other rights are in no way affected by the above.
This is a human-readable summary of the full license, which is available on-line at creativecommons.org.
home ... content ... format ... download ... contact
This page is © P.D. Magnus and is offered under the Creative Commons license. Some rights reserved. (Attribution-ShareAlike 3.0)