## Logic and Proof for Teachers

*Logic and Proof for Teachers (LPT)* is an open source textbook designed to teach logic and proof to middle and high school teachers. This textbook is a work in progress by Lesa L. Beverly, Kimberly M. Childs, Thomas W. Judson, and Deborah A. Pace.

This textbook is licensed with a GNU Free Documentation License (GFDL). There is no cost to acquire this text, and you are under no obligation whatsoever to compensate or donate to the authors or publisher—for all intents and purposed *Logic and Proof for Teachers* is a free textbook. You make as many copies as you like, ensuring that the book will never go out-of-print. You may modify copies of the book for your own use—for example, you may wish to change to a prefered notation for certain objects or add a few new sections. There is a copyright on the book, and subsequently it is licensed with a GNU Free Documentation License (GFDL), allowing the author to give you greater freedoms in how you use the text. The main caveat is that if you make modifications and then distribute a modified version, you are required to again apply the GFDL license to the result so that others may benefit from your modifications.

*Logic and Proof for Teachers* is still in development. The authors welcome comments and corrections.

## Other Open Source Textbooks, Software, and Resources

- Open Textbook Initiative. The The American Institute of Mathematics (AIM) has developed evaluation criteria to identify the open source textbooks that are suitable for use in traditional university courses. The Editorial Board maintains a list of approved textbooks which have been judged to meet these criteria.
- UTMOST: Undergraduate Teaching in Mathematics with Open Software and Textbooks. The UTMOST project is an NSF IUSE grant focusing how students understand and faculty actually use textbooks in undergraduate mathematics courses. UTMOST will use this understanding to produce textbooks that are more effective in promoting student learning. The major components of the project involve education research, resource development, dissemination, and evaluation.
- UTMOST Sage Cell Repository. The Sage cell repository is a highly structured catalog of reusable Sage cells that can be easily embedded into online documents. Each Sage cell is tagged with important attributes to make it easy for instructors, authors, and anyone using Sage to find examples of Sage code appropriate for their needs. The Sage Cell repository is being jointly developed with the National Science Foundation sponsored project Curated Courses. Below is an example of a Sage cell that plots a sine curve.

- PreTeXt (formerly MathBook XML) is a lightweight XML application for authors of scientific articles, textbooks and monographs that incorporates the best of DocBook, LaTeX, and HTML. When a document is written in PreTeXt, it is possible to quickly produce print, PDF, web, EPUB, Sage Notebooks, and iPython Notebooks from a single source.
*Abstract Algebra: Theory and Applications*, an open source textbook by T. W. Judson available in PDF format, hardback, and online. The online version can be found at http://abstract.ups.edu/aata/. In addition, there is now a Spanish translation which can be found at http://antoniobehn.cl/aata/.*The Ordinary Differential Equations Project*, an open source textbook by T. W. Judson available in PDF format and online (a work in progress).*A First Course in linear Algebra*, an open source textbook by R. Beezer.*Sage*, open source mathematics software founded by W. Stein.*CoCalc*, a collaborative environment for doing mathematics by W. Stein.