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 Discrete Mathematics in Computer Science MATH 243 2014
Auburn University USA Discrete Mathematics MATH 3710 2017
Bates College USA Introduction to Abstraction MATH 221 2020
Bennington College USA Logic, Proofs, Algebra, and Set Theory MAT 2115 2018
Bishop's University Canada Introduction to Discrete Mathematics MAT 200 2018
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 Methods of Proof MAT 248 2013, 2018
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
Central Connecticut State University USA Discrete Mathematics MATH 218 2016, 2017
Christendom College USA Fundamentals of Advanced Math MATH 351 2019
Coker College USA Discrete Structures MAT-201 2016
College of Wooster USA Transition to Advanced Mathematics MATH 215 2016, 2017
Colorado College USA Proof Writing MATH 228 2018
Colorado State University USA Introduction to Mathematical Reasoning MATH 235 2015
Dalhousie University Canada Discrete Structures I CSCI 2112 2015, 2016, 2017, 2018
Denison University USA Introduction to Proof Techniques MATH 210 2014, 2016
Dixie State University USA Discrete Mathematics MATH 2200 2017, 2018
Dokuz Eylül University Turkey Fundamentals of Mathematics MAT 1033 2015
Drexel University USA Computer Science Foundations CS 520 2018
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
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 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

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
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
Illinois State University USA Discrete Mathematics* MATH 260 2019
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
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
Kean University USA Introduction to Proofs MATH 3110 2013, 2014
Kansas State University USA Introduction to Proofs MATH 499 2019
Kennesaw State University USA Introduction to Logic, Sets and Proof MATH 245 2017
Korea International School Korea Introduction to Mathematical Proof   2017, 2018, 2019
Loyola University USA Discrete Math Structures Math 201 2018, 2019

Lenoir-Rhyne University

USA Introduction to Mathematical Reasoning MATH 220 2015, 2016
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
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, 2020
Middlebury College USA Mathematical Foundations of Computer Science * CSCI 200 2015, 2017, 2018
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
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
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
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
Peru State College USA Foundations of Mathematical Thought MATH 230 2015, 2018
Philadelphia University Jordan Jordan Set Theory (Foundations of Mathematics) 250251 2016
Principia College USA Mathematical Proofs MATH 220 2015, 2020
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
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
Sacramento State University USA Introduction to Formal Mathematics MATH 108 2014
San Francisco State University USA Exploration and Proof MATH 301 2018
St. Mary's College of Maryland USA Foundations of Mathematics MATH 281 2013, 2014, 2015, 2016, 2017, 2018
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 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
Universidad Autónoma Metropolitana Iztapalapa Mexico Introduction to Mathematical Thinking 2130030 2019
University of Alaska Fairbanks USA Introduction to Mathematical Proofs MATH 265 2019
University at Albany USA Introduction to Proofs MATH 299 2016, 2017, 2018, 2019, 2020
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 British Columbia Vancouver Canada Mathematical Proof MATH 220 2016, 2017, 2018, 2019, 2020
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
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 Colorado, Boulder USA Introduction to Discrete Mathematics MATH 2001 2015, 2016, 2017, 2018, 2020
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
University of Derby UK Patterns of Problem Solving 4MA504 2016, 2017
University of Florida USA Sets and Logic MHF 3202 2019, 2020
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 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
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 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
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 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 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
University of Toledo USA Introduction to Mathematical Analysis MATH 3190 2016
University of Washington Bothell USA Foundations of Mathematics STMATH 300 2016
University of Winchester UK Discrete Mathematics MA1005 2017
University of Wisconsin Superior USA Introduction to Abstract Mathematics MATH 310 2017
University of Wyoming USA Discrete Structures COSC 2300 2019
Virginia Commonwealth University USA Introduction to Mathematical Reason MATH 300 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020
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
West Virginia University USA Introduction to the Concepts of Mathematics MATH 283 2018, 2019
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
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