Book of Proof
Known Adoptions

It is difficult to track adoptions for an open textbook. I only know of one if the instructor emails me, or if I see a syllabus on line. Here is the current list of adoptions, to the extent of my knowledge. I'd like for 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


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
Amasya University Turkey Abstract Mathematics   2016
Arizona State University USA Discrete Mathematics in Computer Science MATH 243 2014
Auburn University USA Discrete Mathematics MATH 3710 2017
Bennington College USA Introduction to Pure Mathematics MAT 2115 2010, 2011, 2012, 2013, 2014
Boğaziçi University Turkey Introduction to Mathematical Structures MATH 111 2012
Blue Ridge Community College USA Abstract Algebra * MTH 200 2013, 2013
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 Set Theory and Logic MAT 310 2013
California State University, Dominguez Hills USA Advanced Analysis I * MATH 401 2012, 2013, 2013, 2014
California State University, Fresno USA Transition to Advanced Mathematics MATH 111 2014, 2016
California State University, Sacramento USA Introduction to Formal Mathematics MATH 108 2014
California State University, San Marcos USA Foundations of Theoretical Mathematics MATH 350 2013
Carson-Newman University USA Introduction to Abstract Mathematics MATH 212 2016, 2017
Central Connecticut State University USA Discrete Mathematics MATH 218 2016
Christian Brothers High School, Memphis, TN USA Honors Geometry MATH 515 2012
Coker College USA Discrete Structures MAT-201 2016
College of Wooster USA Transition to Advanced Mathematics MATH 215 2016, 2017
Colorado State University USA Discrete Mathematics for Educators MATH 230 2011
Colorado State University USA Introduction to Mathematical Reasoning MATH 235 2015
Dalhousie University Canada Discrete Structures I CSCI 2112 2015, 2016
Denison University USA Introduction to Proof Techniques MATH 210 2014, 2016
Dokuz Eylül University Turkey Fundamentals of Mathematics MAT 1033 2015
East Texas Baptist Univeristy USA Foundations of Mathematical Reasoning MATH 3300 2016
Emory University USA Foundations of Mathematics MATH 250 2014, 2015
Fayetteville State University
USA
Foundations of Mathematics
MATH 260 2015, 2016, 2017
Florida Atlantic University USA Discrete Mathematics MAD 2104 2016
Georgia Tech   Foundations of Mathematical Proof MATH 2106 2016, 2017
Georgetown College USA Discrete Mathematics MATH 301 2013, 2016
Gonzaga University USA Fundamentals of Mathematics MATH 301

2014, 2015, 2016

Gordon College USA Discrete Mathematics MAT 230

2014, 2015, 2016

Gordon College USA Transition to Higher Mathematics MAT 231 2014, 2016
Grenfell Campus Memorial University Canada Discrete Mathematics MATH 2320 2013
Hacettepe University Turkey Mathematical Foundations of Economics * ECO611 2014
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
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
International High School of Gothenburg Region Sweden Matematik-5   2013
International High School of Gothenburg Region Sweden IB Mathematics Higher Level option discrete math   2013
Iowa State University USA Introduction to Proofs MATH 201 2013, 2014, 2015, 2016, 2017
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 Real Number Systems MATH 521 2015
Kennesaw State University USA Introduction to Logic, Sets and Proof MATH 245 2017
Lebanon Valley College USA Foundations of Mathematics MAS 202 2012

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
Middlebury College USA Mathematical Foundations of Computer Science * CSCI 200 2015, 2017
Millersville University USA Introduction to Mathematical Proofs MATH 310 2013, 2014, 2015, 2016, 2017
Mount Vernon Nazarene University USA Elementary Discrete Mathematics MAT 1035 2013
Misericordia University USA Set Theory and Logic MATH 244 2016
Newcastle University UK Sets and Counting   2015
New York City College of Technology USA Introduction to Proofs and Logic MAT 2070 2013, 2016
New York City College of Technology USA Number Theory MAT 3020 2013
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
Parahyangan Catholic University Indonesia Mathematical Problem Solving AMS 123 2014
Pennsylvania State University USA Introduction to the Theory of Computation * CMPSC 464 2012
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
Philadelphia University Jordan Jordan Set Theory (Foundations of Mathematics) 250251 2016
PTEK College Brunei Pure Mathematics I MA9709 2011
Prince of Songkla University Thailand Principles of Mathematics * MATH 211 2012
Principia College USA Mathematical Proofs MATH 220 2015
Purchase College, SUNY USA Topics in Advanced Math MAT4225 2016
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
Rutgers University USA Introduction to Mathematical Reasoning MATH 300 2016
Sacramento State University USA Introduction to Formal Mathematics MATH 108 2014
Sam Houston State University USA Introduction to Mathematical Thought MATH 3300 2013
St. Mary's College of Maryland USA Foundations of Mathematics MATH 281 2013, 2014, 2015, 2016, 2017
Saint Peter's University USA Discrete Mathematics MA 246 2012
Simon Fraser University Canada Discrete Mathematics I MACM 101 2014, 2015
Schola Europaea, Bergen Netherlands Mathematics Further Level S6ma 2012
Seattle University USA Introduction to Advanced Mathematics MATH 3000 2014, 2015, 2016
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
Tarleton State University USA Foundations of Mathematics MATH 3220 2016
Transylvania University USA Mathematician's Toolkit MATH 2504 2014
University at Albany USA Introduction to Proofs MATH 299 2017
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
University of California Santa Cruz USA Applied Discrete Mathematics * CMPE 16 2013, 2014
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
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
University of Connecticut USA Introduction to Discrete Systems CSE 2500 2014, 2015
University of Connecticut USA Transition to Advanced Mathematics * MATH 2710 2017
University of Dayton USA Discrete Mathematics MTH 308 2013, 2014, 2015, 2016
University of Derby UK Patterns of Problem Solving 4MA504 2016
University of Georgia, Athens USA Introduction to Higher Mathematics Math 3200 2012
University of The Gambia The Gambia Introduction to Proofs   2013
University of Hawaii at Manoa USA Introduction to Advanced Mathematics MATH 320 2014
University of Jyväskylä Finland Johdatus matematiikkaan MATP 100 2014
University of Massachusetts USA Fundamental Concepts of Mathematics MATH 300 2014
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
University of New Haven USA Foundations of Mathematics MATH 1121 2015, 2016
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
University of Rhode Island USA Introduction to Mathematical Rigor MTH 307 2014, 2015, 2016, 2017
University of South Carolina USA

Foundations of Computation

CSCE 355 2015
University of South Carolina USA Transition to Advanced Mathematics MATH 300 2017
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 Pan American USA Introduction to Mathematical Proofs MATH 3328 2012
University of Washington Bothell USA Foundations of Mathematics STMATH 300 2016
University of West Georgia USA Transition to Advanced Mathematics MATH 3003 2013
Virginia Commonwealth University USA Introduction to Mathematical Reason MATH 300 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017
Washington and Lee University USA Fundamental Concepts of Mathematics MATH 301 2015, 2016
Western Washington University USA Formal Languages and Functional Programming CS 301 2015, 2016
Western State Colorado University USA Introduction to Advanced Mathematics MATH 220 2012
Westminster College (PA)
USA
Discrete Mathematics
MTH 241 2010, 2011, 2012, 2013, 2014, 2015, 2016
William Paterson University USA Mathematics Logic and Proofs MATH 2000 2014
* indicates that book is suggested and/or supplementary



Return to the Book of Proof page