Book of Proof
Known Adoptions

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 Discrete Structures I CSCI 2112 2015, 2016, 2017, 2018, 2019
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
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
Loyola University Chicago USA Discrete Mathematics & Number Theory MATH 201 2018, 2019, 2020, 2021, 2022, 2024
Lenoir-Rhyne University USA Introduction to Mathematical Reasoning MATH 220 2015, 2016
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
Saint 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 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 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 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



Return to the Book of Proof page