| It is difficult to track adoptions for an open textbook. I only know of one if an instructor or student emails me, or if I see a syllabus on line. Here is the list of adoptions, to the extent of my knowledge. I'd like for this list to be as complete as possible. Please contact me at rhammack@vcu.edu if you use Book of Proof in your courses, or if you have updates or corrections to the list. Thanks! Richard Hammack |
| University | Country | Course Title | Course # | Year (up to latest known) |
| Aalto University | Finland | Discrete Mathematics | MS-A0401 | 2013, 2014 |
| Alecu Russo Balti State University | Moldova | Discrete Structures | F.02.O.13 | 2013, 2014 |
| Agnes Scott College | USA | Art of Mathematical Thinking | MATH 204 | 2015 |
| Alfred University | USA | Foundations of Higher Mathematics | MATH 281 | 2019 |
| Amasya University | Turkey | Abstract Mathematics | MATH 105, 106 | 2016 |
| American University of Kuwait | Kuwait | Discrete Math | MATH 213 | 2020 |
| Arizona State University | USA | Mathematical Structures | MATH 300 | 2021 |
| Auburn University | USA | Discrete Mathematics | MATH 3710 | 2017 |
| Bard College at Simon's Rock | USA | Introduction to Proof | MATH 217 |
2023 |
| Bates College | USA | Introduction to Abstraction | MATH 221 | 2020, 2021, 2022, 2023 |
| Baylor University | USA | Foundations of Mathematics | MATH 3300 | 2023 |
| Belhaven University | USA | Discrete Math | MATH 303 | 2021 |
| Belhaven University | USA | Proof Exposition | MATH 315 | 2021 |
| Bennington College | USA | Logic, Proofs, Algebra, and Set Theory | MAT 2115 | 2018 |
| Bishop's University | Canada | Introduction to Discrete Mathematics | MAT 200 | 2018, 2021 |
| Bogaziçi University | Turkey | Introduction to Mathematical Structures | MATH 111 | 2012 |
| Boston College | USA | Introduction to Abstract Mathematics | MT216 | 2018 |
| Bridgewater State University | USA | Transitions to Higher Mathematics | Math 180 | 2017 |
| Brigham Young University | USA | Fundamentals of Mathematics | MATH 290 | 2016 |
| Cal Poly Pomona | USA | Introduction to Mathematical Proof | MAT 3100 | 2013, 2018, 2021 |
| California State University, Dominguez Hills | USA | Advanced Analysis I * | MATH 401 | 2012, 2013, 2013, 2014, 2016 |
| California State University, Fresno | USA | Transition to Advanced Mathematics | MATH 111 | 2014, 2016 |
| California State University, Fullerton | USA | Strategies of Proof | MATH 280 | 2017 |
| California State University, Los Angeles | USA | Foundations of Mathematics | MATH 3450 | 2019 |
| California State University, Sacramento | USA | Introduction to Formal Mathematics | MATH 108 | 2014, 2019 |
| Carson-Newman University | USA | Introduction to Abstract Mathematics | MATH 212 | 2016, 2017 |
| Carthage College | USA | Discrete Structures | MATH 1240 | 2015, 2016, 2017, 2018, 2019, 2020 |
| Case Western Reserve University | USA | Introduction to Advanced Mathematics | MATH 305 | 2017, 2018, 2019, 2020, 2022 |
| Central Connecticut State University | USA | Discrete Mathematics | MATH 218 | 2016, 2017 |
| Central Michigan University | USA | Introduction to Mathematical Proof | MTH 332 | 2024 |
| Christendom College | USA | Fundamentals of Advanced Math | MATH 351 | 2019 |
| Clayton State University | USA | A Transition to Higher Mathematics | MATH 3005 | 2022 |
| Coker College | USA | Discrete Structures | MAT-201 | 2016 |
| College of Charleston | USA | An Introduction to Abstract Mathematics | MATH 295 | 2023, 2024 |
| College of Wooster | USA | Transition to Advanced Mathematics | MATH 215 | 2016, 2017, 2021 |
| Colorado College | USA | Proof Writing | MATH 228 | 2018 |
| Colorado State University | USA | Introduction to Mathematical Reasoning | MATH 235 | 2015 |
| Concordia University Nebraska | USA | Mathematical Structures | MATH 252 | 2013-2021 |
| Dalhousie University | Canada | Logic and Set Theory | MATH/CSCI 2112 | 2015, 2016, 2017, 2018, 2019, 2024 |
| Denison University | USA | Introduction to Proof Techniques | MATH 210 | 2014, 2016 |
| Dixie State University | USA | Discrete Mathematics | MATH 2200 | 2017, 2018, 2019, 2020, 2021 |
| Dokuz Eylül University | Turkey | Fundamentals of Mathematics | MAT 1033 | 2015 |
| Drexel University | USA | Computer Science Foundations | CS 520 | 2018 |
| Eastern Michigan University | USA | Introduction to Mathematical Proofs | MATH 211 | 2023 |
| East Texas Baptist University | USA | Foundations of Mathematical Reasoning | MATH 3300 | 2016 |
| The Education University of Hong Kong | China | Sets and Logic | MTH2110 | 2019 |
| Emory University | USA | Foundations of Mathematics | MATH 250 | 2014, 2015 |
| Fairmont State University | USA | Introduction to Mathematical Reasoning | MATH 1561 | 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024, 2025 |
| Fairmont State University | USA | Transition to Higher Mathematics | MATH 2563 | 2018 |
| Fayetteville State University | USA | Foundations of Mathematics | MATH 260 | 2015, 2016, 2017 |
| Federal Center for Technological Education, Rio de Janeiro | Brazil | Discrete Structures | GCOM2013PE | 2019 |
| Florida Atlantic University | USA | Discrete Mathematics | MAD 2104 | 2016 |
| Fordham University | USA | Discrete Mathematics | MATH 2001 | 2017, 2019, 2020 |
| Fresno City College | USA | Discrete Math for Computer Science | CSCI 26 | 2018, 2019 |
| Furman University | USA | Transitions to Higher Mathematics | MTH 260 | 2018, 2019 |
| Georgia Southern University | USA | Mathematical Structures | MATH 2332 | 2020, 2021 |
| Georgia Tech | USA | Foundations of Mathematical Proof | MATH 2106 | 2016, 2017, 2018, 2019, 2020 |
| Georgetown College | USA | Discrete Mathematics | MATH 301 | 2013, 2016, 2017, 2018 |
| Gonzaga University | USA | Fundamentals of Mathematics | MATH 301 |
2014, 2015, 2016, 2020, 2022 |
| Gordon State College | USA | Fundamentals of Mathematics | MATH 3200 |
2019 |
| Gordon College | USA | Discrete Mathematics | MAT 230 |
2014, 2015, 2016, 2019 |
| Gordon College | USA | Transition to Higher Mathematics | MAT 231 | 2014, 2016, 2017, 2018, 2019 |
| Grand View University | USA | Intro to Math Reasoning | MAT 300 | 2023 |
| Hacettepe University | Turkey | Mathematical Foundations of Economics * | ECO611 | 2014 |
| Harvard University | USA | Theoretical Linear Algebra and Real Analysis 1 & 2 | Math 25 A, B | 2019 |
| Harvard University | USA | Sets, Groups and Topology | MATH 101 | 2018 |
| Harvard University | USA | Spaces, Mappings, and Mathematical Structures | MATH S-101 | 2015 |
| Heriot-Watt University, Edinburgh | UK | Logic and Proof * | F17LP1 | 2012, 2013, 2014, 2015, 2018 |
| Heriot-Watt University, Edinburgh | UK | Algebra A * | F17CC1 | 2012, 2013, 2015 |
| Hobart and William Smith Colleges | USA | First Steps into Advanced Mathematics | MATH 135 | 2016, 2017, 2019 |
| Humboldt State University | USA | Introduction to Mathematical Thought | MATH 240 | 2018, 2019, 2020 |
| Hunter College | USA | Introduction to Mathematical Proof Workshop | MATH 156 | 2018, 2021, 2022 |
| Illinois State University | USA | Discrete Mathematics* | MATH 260 | 2019, 2021 |
| Indiana University of Pennsylvania | USA | Introduction to Mathematical Proofs | MATH 271 | 2018 |
| Iowa State University | USA | Introduction to Proofs | MATH 201 | 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021,2022 |
| Jacksonville State University | USA | Introduction to Advanced Mathematics | MS 300 | 2013, 2014, 2015, 2016 |
| James Madison University | USA | Proof and Discrete Math | MATH 245 | 2012, 2015, 2016 |
| Johns Hopkins University | USA | Automata and Computation Theory | CS 271 | 2014, 2015 |
| Kansas State University | USA | Introduction to Proofs | MATH 499 | 2019 |
| Kean University | USA | Introduction to Proofs | MATH 3110 | 2013, 2014 |
| Kennesaw State University | USA | Introduction to Logic, Sets and Proof | MATH 245 | 2017 |
| The King's University | Canada | Discret Mathematics | CMPT/MATH360 | 2023 |
| King Mongkut's Institute of Technology Ladkrabang | Thailand | Introduction to Logic | 13006301 | 2015, 2016, 2017, 2018, 2019, 2020, 2021 |
| Koc University | Turkey | Introduction to Abstract Mathematics | MATH 103 | 2019 |
| Korea International School | Korea | Introduction to Mathematical Proof | 2017, 2018, 2019, 2020, 2021, 2022 | |
| Konkuk University | Korea | Set Theory | 1860-01 | 2022 |
| Lenoir-Rhyne University | USA | Introduction to Mathematical Reasoning | MATH 220 | 2015, 2016 |
| Louisiana State University of Alexandria | USA | Fundamentals of Mathematics | MATH 3040 | 2024 |
| Loyola University Chicago | USA | Discrete Mathematics & Number Theory | MATH 201 | 2018, 2019, 2020, 2021, 2022, 2024 |
| MacEwan University | Canada | Fundamental Concepts of Mathematics | MATH 200 | 2023 |
| Mary Baldwin College | USA | Discrete Math | MATH 231 | 2013 |
| Massachusetts College of Liberal Arts | USA | Proof I | MATH 240 | 2015, 2017 |
| McGill University | Canada | Discrete Structures I | MATH 240 | 2016, 2017, 2020 |
| Mercer University | USA | Introduction to Abstract Mathematics | MATH 260 | 2023 |
| Mercyhurst University | USA | Transition to Advanced Mathematics | MATH 265 | 2018 |
| Meredith College | USA | Introduction to Mathematical Reasoning | MATH 250 | 2018 |
| Miami University of Ohio | USA | Proof: Introduction to Higher Mathematics | MTH 331 | 2019, 2021 |
| Middlebury College | USA | Mathematical Foundations of Computer Science * | CSCI 200 | 2015, 2017, 2018 |
| Milligan University | USA | Introduction to Mathematical Logic | MATH 301 | 2021 |
| Millersville University | USA | Introduction to Mathematical Proofs | MATH 310 | 2013, 2014, 2015, 2016, 2017 |
| Misericordia University | USA | Set Theory and Logic | MATH 244 | 2016 |
| Montana State University | USA | Methods of Proof | Math 242 | 2019 |
| Moravian University | USA | Discrete Mathematics and Proof Writing | Math 212 | 2022 |
| Mount Holyoke College | USA | Discrete Mathematics | Math 232 | 2017, 2018 |
| Newcastle University | UK | Sets and Counting | 2015 | |
| New York City College of Technology | USA | Introduction to Proofs and Logic | MAT 2070 | 2013, 2016 |
| Northeastern University | USA | Introduction to Mathematical Reasoning | MATH 1365 | 2021 |
| Northern Kentucky University | USA | Introduction to Higher Mathematics | MAT 302 | 2016 |
| Northern State University | USA | Foundations of Mathematics | MATH 351 | 2016 |
| Northwestern University | USA | Foundations of Higher Mathematics | MATH 300 | 2015, 2016, 2017, 2018, 2019, 2022 |
| North Island College | Canada | Logic and Foundations | MAT 122 | 2019 |
| Oakland University | USA | Introduction to Advanced Mathematical Thinking | MTH 3002 | 2017, 2018 |
| Parahyangan Catholic University | Indonesia | Mathematical Problem Solving | AMS 123 | 2014 |
| Pennsylvania State University | USA | Introduction to Mathematical Proofs | MATH 311 | 2015 |
| Pennsylvania State University | USA | Discrete Mathematics for Computer Science | CMPSC 360 | 2015, 2017, 2020 |
| Peru State College | USA | Foundations of Mathematical Thought | MATH 230 | 2015, 2018 |
| Philadelphia University Jordan | Jordan | Set Theory (Foundations of Mathematics) | 250251 | 2016 |
| Portland State University | USA | Introduction to Mathematical Reasoning | MTH 300 | 2023 |
| Piedmont University | USA | Discrete Mathematics | MATH 2700 | 2016, 2020, 2021, 2022, 2023, 2024 |
| Principia College | USA | Mathematical Proofs | MATH 220 | 2020, 2021, 2022, 2023 |
| Purchase College, SUNY | USA | Topics in Advanced Math | MAT4225 | 2016, 2019 |
| Queens College | USA | Discrete Math | MATH 220 | 2019 |
| Randolph-Macon College | USA | Discrete Structures | MATH 220 | 2014, 2016 |
| Randolph College | USA | Techniques of Mathematical Proof | MATH 234 | 2021 |
| RMIT University, Melbourne | Australia | Discrete Structures | COSC 2627 | 2016, 2017 |
| RMIT University, Melbourne | Australia | Computing Theory * | COSC 1105/1107 | 2017 |
| Rockhurst University | USA | Introduction to Abstract Mathematics | MT 3800 | 2017, 2019 |
| Rutgers University | USA | Introduction to Mathematical Reasoning | MATH 300 | 2016, 2017, 2018, 2019, 2020 |
| Rutgers University-Camden | USA | Reasoning and Proof | MATH 300 | 2017, 2021 |
| Sacramento State University | USA | Introduction to Formal Mathematics | MATH 108 | 2014 |
| Sam Houston State University | USA | Introduction to Mathematical Thought | MATH 3300 | 2013, 2016, 2018, 2021, 2023 |
| San Francisco State University | USA | Exploration and Proof | MATH 301 | 2018 |
| San José State University | USA | Introduction to Abstract Mathematics and Proof | MATH 108 | 2020 |
| Shiv Nadar University | India | Foundations | MAT 100 | 2023 |
| St. Mary's College of Maryland | USA | Foundations of Mathematics | MATH 281 | 2013, 2014, 2015, 2016, 2017, 2018, 2020, 2023 |
| St. Norbert College | USA | Advanced Foundations of Mathematics | MATH 250 | 2018 |
| St. Peter's University | USA | Transitions to Advanced Math | MA 250 | 2019, 2020 |
| Simon Fraser University | Canada | Discrete Mathematics I | MACM 101 | 2014, 2015 |
| Seattle University | USA | Introduction to Advanced Mathematics | MATH 3000 | 2014, 2015, 2016 |
| Sidwell Friends School | USA | MATH III | 2017 | |
| Skidmore College | USA | Mathematical Reasoning & Discrete Math | MC 215 | 2014 |
| Sonoma State University | USA | Reasoning and Proof | MATH 220 | 2014 |
| South Dakota State University | USA | Math for Computer Science | MATH 250 | 2020 |
| South Dakota State University | USA | Logic Sets and Proofs | MATH 253 | 2010, 2011, 2012, 2013 |
| Stony Brook University | USA | Fundamental Concepts of Mathematics | MATH 511 | 2020 |
| Tarleton State University | USA | Foundations of Mathematics | MATH 3220 | 2016 |
| Texas State | USA | Introduction to Advanced Mathematics | MATH 3330 | 2017, 2018 |
| Transylvania University | USA | Mathematician's Toolkit | MATH 2504 | 2014 |
| Tufts University | USA | Discrete Mathematics | COMP/MATH 61 | 2022 |
| Utrecht University | Netherlands | Foundations of Mathematics | UCU SCI 1 | 2022, 2023, 2024 |
| Universidad Autónoma Metropolitana Iztapalapa | Mexico | Introduction to Mathematical Thinking | 2130030 | 2019 |
| University of Alaska Fairbanks | USA | Introduction to Mathematical Proofs | MATH 265 | 2019, 2024 |
| University at Albany | USA | Introduction to Proofs | MATH 299 | 2016, 2017, 2018, 2019, 2020, 2022 |
| University of Arizona | USA | Discrete Math. in Computer Science | MATH 243 | 2014 |
| University of Arizona | USA | Introduction to Discrete Structures | CSC 245 | 2015 |
| University of Arizona | USA | Math Camp (Economics Dept.) | 2021 | |
| University of British Columbia Vancouver | Canada | Mathematical Proof | MATH 220 | 2016, 2017, 2018, 2019, 2020 |
| UCLA | USA | Introduction to Upper Divison Mathematics | MATH 95 | 2021 |
| University of California Santa Barbara | USA | Transition to Higher Mathematics | MATH 8 | 2020, 2021 |
| University of California Santa Barbara | USA | Transition to Data Science, Probability and Statistics | PSTAT 8 | 2022 |
| University of California Santa Cruz | USA | Computational Models * | CMPS 130 | 2019 |
| University of California Santa Cruz | USA | Applied Discrete Mathematics * | CMPE 16 | 2013, 2014, 2018 |
| University of California Santa Cruz | USA | Introduction to Proof and Problem Solving | MATH 100 | 2014, 2015, 2016, 2019 |
| University of California, San Diego | USA | Automata and Computability * | CSE 105 | 2012, 2014, 2018 |
| University of California, San Diego | USA | Mathematical Reasoning | MATH 109 | 2017, 2018, 2020 |
| University of Cape Town | S. Africa | Fundamentals of Mathematics | MAM1019H | 2016 |
| University of Chicago | USA | Mathematical Foundations of Computing | CS 155 | 2023 |
| University of Colorado, Boulder | USA | Discrete Mathematics | MATH 2001 | 2015, 2016, 2017, 2018, 2020, 2022 |
| University of Connecticut | USA | Introduction to Discrete Systems | CSE 2500 | 2014, 2015 |
| University of Connecticut | USA | Transition to Advanced Mathematics | MATH 2710 | 2017, 2020 |
| University of Dayton | USA | Foundations and Discrete Mathematics | MTH 308 | 2013, 2014, 2015, 2016, 2017, 2019, 2021 |
| University of Denver | USA | Mathematical Reasoning and Proof | MATH 2200 | 2024 |
| University of Derby | UK | Patterns of Problem Solving | 4MA504 | 2016, 2017 |
| University of Florida | USA | Sets and Logic | MHF 3202 | 2019, 2020, 2021, 2022 |
| University of The Gambia | The Gambia | Introduction to Proofs | 2013 | |
| University of Hawaii West Oahu | USA | Introduction to Advanced Mathematics | MATH 321 | 2014, 2017, 2018 |
| University of Houston | USA | Discrete Mathematics | MATH 3336 | 2022 |
| University of Illinois | USA | ACE Mathematics for Economists | |
2024 |
| University of Jyväskylä | Finland | Johdatus matematiikkaan | MATP 100 | 2014 |
| University of Maine | USA | Introduction to Abstract Mathematics | MATH 261 | 2017, 2018 |
| University of Massachusetts, Amherst | USA | Fundamental Concepts of Mathematics | MATH 300 | 2014, 2017 |
| University of Massachusetts, Boston | USA | Inro. to Proofs: A Transition to Advanced Math. | MATH 280 | 2014, 2015, 2016 |
| University of Massachusetts, Boston | USA | Applied Discrete Mathematics | CS 220 | 2024 |
| The National University of Malaysia | Malaysia | Logical Reasoning | PNAP0143 | 2015 |
| University of Montevallo | USA | Intro to Discrete Mathematics | MATH 247 | 2015, 2016 |
| Universidad Nacional de Colombia | Colombia | Fundamentals of Mathematics | 2015168 | 2017 |
| University of Nebraska, Lincoln | USA | Discrete Mathematics | CSCE 235 | 2016 |
| University of Nevada, Reno | USA | Introduction to Proofs | MATH 301 | 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 |
| University of New Haven | USA | Foundations of Mathematics | MATH 1121 | 2015, 2016, 2018, 2019 |
| University of New Mexico | USA | Advanced Calculus I | MATH 401/501 | 2018 |
| University North Georgia, Dahlonega | USA | Introduction to Proofs | MATH 2800 | 2021, 2022 |
| University of Notre Dame | USA | Decision Theory* | ECON 40050 | 2017, 2018, 2019 |
| University of Notre Dame | USA | Microeconomic Theory I* | ECON 60101 | 2019 |
| University of Notre Dame | USA | Math for Political Scientists | POLS 60833 | 2012, 2014 |
| University of North Texas | USA | Real Analysis I * | MATH 3000 | 2013, 2014 |
| University of Oklahoma | USA | Discrete Mathematics | MATH 2513 | 2015, 2016, 2019, 2020 |
| University of Pennsylvania | USA | Ideas in Mathematics | MATH 170 | 2016, 2017, 2018 |
| University of Rhode Island | USA | Introduction to Mathematical Rigor | MTH 307 | 2014, 2015, 2016, 2017, 2018 |
| University of Richmond | USA | Foundations of Abstract Mathematics | MTH 300 | 2018, 2019 |
| University of St. Thomas | USA | Advanced Mathematics Exploration and Exposition | MATH 450 | 2024 |
| University of San Francisco | USA |
Introduction to Formal Methods |
MATH 235 | 2021, 2022 |
| University of South Carolina | USA |
Foundations of Computation |
CSCE 355 | 2015 |
| University of South Carolina | USA | Transition to Advanced Mathematics | MATH 300 | 2017, 2018 |
| University of Southern California | USA | Mathematical Reasoning and Problem Solving | MATH 290 | 2024 |
| University of Southern Maine | USA | Discrete Mathematics I | MATH 145 | 2015, 2016, 2017 |
| University of Tennessee Martin | USA | Foundations of Mathematics | MATH 314 | 2015, 2016 |
| University of Texas at Tyler | USA | Foundations of Mathematics | MATH 3425 | 2018, 2021 |
| University of Toledo | USA | Introduction to Mathematical Analysis | MATH 3190 | 2016 |
| University of Tulsa | USA | Introduction to Advanced Mathematics | MATH 3033 | 2021 |
| University of Washington Bothell | USA | Foundations of Mathematics | STMATH 300 | 2016, 2023 |
| University of Winchester | UK | Discrete Mathematics | MA1005 | 2017 |
| University of Wisconsin Superior | USA | Introduction to Abstract Mathematics | MATH 310 | 2017 |
| University of Winnipeg | Canada | Discrete Mathematics | MATH 1401 | 2023, 2024 |
| University of Wyoming | USA | Discrete Structures | COSC 2300 | 2019 |
| Vancouver Island University | Canada | Logic and Foundations | MATH123 | 2022, 2023, 2024 |
| Virginia Commonwealth University | USA | Introduction to Mathematical Reason | MATH 300 | 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024 |
| Washington and Jefferson College | USA | Foundations of Higher Mathematics | MTH 211 | 2019 |
| Washington and Lee University | USA | Fundamental Concepts of Mathematics | MATH 301 | 2015, 2016, 2019 |
| Wayne State College | USA | Transitions to advanced mathematics | MAT 270 | 2024 |
| West Chester University | USA | Introduction to Proof | MATH 200 | 2022 |
| West Virginia University | USA | Introduction to the Concepts of Mathematics | MATH 283 | 2018, 2019 |
| Western Michigan University | USA | Mathematical Proofs | MTH280 | 2022 |
| Western Oregon University | USA | Introduction to Proofs | MATH 3140 | 2023 |
| Western Washington University | USA | Formal Languages and Functional Programming | CS 301 | 2015, 2016 |
| Western Washington University | USA | Introduction to Proof in Discrete Mathematics | MATH 309 | 2017, 2018, 2020, 2021, 2022 |
|
Westminster College (PA)
|
USA |
Discrete Mathematics
|
MTH 241 | 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2018 |
| Wright State University | USA | Writing Math Proofs | MTH2800 | 2017, 2020 |
| * indicates that book
is suggested and/or supplementary |
||||