| University | Country | Course Title | Course # | Semester |
| Virginia Commonwealth University | USA | Introduction to Mathematical Reason | MATH 300 | Spring and Fall: 2008, 2009, 2010, 2011, 2012, 2013 |
| Virginia Commonwealth University | USA | Mathematical Structures | MATH 211 | Spring 2010 |
| Lebanon Valley College | USA | Foundations of Mathematics | MAS 202 | Spring 2012 |
| University of California, San Diego | USA | Automata and Computability * | CSE 105 | Winter 2012, Fall 2012 |
| Colorado State University | USA | Discrete Mathematics for Educators | MATH 230 | Fall 2011 |
Westminster College |
USA | Discrete Mathematics |
MTH 241 | Spring and Fall 2010, 2011, 2012, 2013 |
| South Dakota State University | USA | Logic Sets and Proofs | MATH 253 | Fall 2010; Spring and Fall 2011, 2012 |
| PTEK College | Brunei | Pure Mathematics I | MA9709 | Fall 2011 |
| Christian Brothers High School, Memphis, TN | USA | Honors Geometry | MATH 515 | Spring 2012 |
| University of Texas Pan American | USA | Introduction to Mathematical Proofs | MATH 3328 | Summer 2012 |
| Schola Europaea, Bergen | Netherlands | Mathematics Further Level | S6ma | Fall 2012 |
| James Madison University | USA | Proof and Discrete Math | MATH 245 | Fall 2012 |
| Western State Colorado University | USA | Introduction to Advanced Mathematics | MATH 220 | Fall 2012 |
| Heriot-Watt University, Edinburgh | UK | Algebra A * | F17CC1 | Fall 2012 |
| Heriot-Watt University, Edinburgh | UK | Logic and proof * | F17LP1 | Fall 2012 |
| Prince of Songkla University | Thailand | Principles of Mathematics * | MATH 211 | Spring and Fall 2012 |
| Queen Mary University of London | UK | Mathematical Structures * | MTH4110 | Fall 2012 |
| University of Nevada, Reno | USA | Introduction to Proofs | MATH 301 | Fall 2011, Summer 2012 |
| University of Georgia, Athens | USA | Introduction to Higher Mathematics | Math 3200 | Fall 2012 |
| Saint Peter's University | USA | Discrete Mathematics | MA 246 | Fall 2012 |
| California State University, Dominguez Hills | USA | Advanced Analysis I * | MATH 401 | Fall 2012, Spring 2013 |
| Boğaziçi University | Turkey | Introduction to Mathematical Structures | MATH 111 | Fall 2012 |
| Pennsylvania State University | USA | Introduction to the Theory of Computation * | CMPSC 464 | Fall 2012 |
| University of Notre Dame | USA | Math for Political Scientists | POLS 60833 | Fall 2012 |
| California State University, San Marcos | USA | Foundations of Theoretical Mathematics | MATH 350 | Spring 2013 |
| Kean University | USA | Introduction to Proofs | MATH 3110 | Spring 2013 |
| Blue Ridge Community College | USA | Abstract Algebra * | MTH 200 | Spring 2013, Summer 2013 |
| Grenfell Campus Memorial University | Canada | Discrete Mathematics | MATH 2320 | Spring 2013 |
| Jacksonville State University | USA | Introduction to Advanced Mathematics | MS 300 | Spring 2013 |
| Mount Vernon Nazarene University | USA | Elementary Discrete Mathematics | MAT 1035 | Spring 2013 |
| Alecu Russo Balti State University | Moldova | Discrete Structures | F.02.O.13 | Spring 2013 |
| University of North Texas | USA | Real Analysis I * | MATH 3000 | Summer 2013 |
| Iowa State University | USA | Introduction to Proofs | MATH 201 | Spring 2013 |
| * indicates that book is suggested and/or supplementary I'd like this list to be as complete as possible. Please contact me if you use Book of Proof in your courses, or if you have updates or corrections to the list. Thanks! Richard Hammack |
||||