home / content / format / download / contact

forall x

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.

License details

You are free to copy this book, to distribute it, to display it, and to make derivative works, under the following condition: Attribution. You must give the original author credit.

This is a human-readable summary of the full license, which is available on-line at creativecommons.org.