Melvil Decimal System: 511.360 Information 196,271 βΉοΈ  1 Philosophy and Psychology 182,817 π  2 Religion 463,618 ππ½  3 Social Sciences 1,017,722 π«  4 Language 130,463 π¬  5 Mathematics and Science 322,970 π¬  6 Technology 751,858 π‘  7 Arts and Recreation 695,836 π¨  8 Literature 929,792 π  9 Biography and History 592,368 πΏ  50 General Science 24,934 π¬  51 Mathematics 61,944 β  52 Astronomy 17,388 π  53 Physics 34,172 π  54 Chemistry 22,053 β  55 Earth sciences & geology 28,173 π  56 Fossils & prehistoric life 6,394 π  57 Life Sciences 45,977 π  58 Botany 17,698 πΏ  59 Zoology 64,237 πΌ  510 General Mathematics 15,018 β  511 General Principles 5,344 π  512 Algebra 7,899 +  513 Arithmetic 4,632 π’  514 Trigonometry; topology 1,546 π©  515 Analysis 9,673 Ξ£  516 Algebraic geometry 4,709 V  517 Calculus 900 β«  518 Numerical analysis 639 π»  519 Applied Mathematics, Probabilities 11,584 π  511.0 Arithmetic 14  511.1 Finite Mathematics 38  511.2  39  511.3 Logic 2,160  511.4 Approximation Theory 274  511.5 Graph Theory 471  511.6 Combinatorics 487  511.7  8  511.8 Modeling And Simulation 344  511.9 Problems and tables 8  511.30 30  511.31 Fuzzy Logic 42  511.32 255  511.33 70  511.34 Finite Model Theory 23  511.35 Theory Of Computation 81  511.36 Proof Theory 37  511.37  511.38  511.39  511.360 10  511.361  511.362  511.363  511.364  511.365  511.366  511.367  511.368  511.369 
Works under MDS 511.36
 Q.E.D.: Beauty in Mathematical Proof (Wooden Books) by Burkard Polster
 Math Proofs Demystified by Stan Gibilisco
 The Art of Problem Solving, Volume 1: The Basics Solutions Manual by Sandor Lehoczky
 Tracking Reason: Proof, Consequence, and Truth by Jody Azzouni
 Mathematical Reasoning: Writing and Proof by Ted Sundstrom
 Proof Theory: The First Step into Impredicativity by Wolfram Pohlers
 The Proof is in the Pudding: The Changing Nature of Mathematical Proof by Steven G. Krantz
 The History of Mathematical Proof in Ancient Traditions by Karine Chemla
 The Seventeen Provers of the World by Freek Wiedijk
 One Hundred Years of Intuitionism (19072007): The Cerisy Conference (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives / Science autour de / around 1900) by Mark van Atten
 An Introduction to Proof through Real Analysis by Daniel J. Madden
 A bridge to advanced mathematics by Dennis Sentilles
 Adapting ProofsasPrograms : The CurryHoward Protocol (Monographs in Computer Science) by Iman Hafiz Poernomo
 Brouwer meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library) by Mark van Atten
 Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 1417, 2004 : proceedings by Konrad Slind
 From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides) by Laura Crosilla
 A Transition to Abstract Mathematics, Second Edition: Learning Mathematical Thinking and Writing by Randall Maddox
 Intuition and the Axiomatic Method (The Western Ontario Series in Philosophy of Science) by Emily Carson

 Proof and Proving in Mathematics Education The 19th ICMI Study by G. Hanna
 Understanding mathematical proof by John Taylor
 Gentzen's centenary : the quest for consistency by Reinhard Kahle
 Proving in the elementary mathematics classroom by Andreas J. Stylianides
 Exploring Mathematics: An Engaging Introduction to Proof (Cambridge Mathematical Textbooks) by John Meier
 Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 1417, 2014 : proceedings by Gerwin Klein
 Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 2226, 2013. Proceedings by Sandrine Blazy
 Proof in Mathematics Education: Research, Learning and Teaching by David A. Reid
 Interactive theorem proving : third International Conference, ITP 2012, Princeton, NJ, USA, August 1315, 2012. Proceedings by Lennart Beringer
 Introduction to Proof in Abstract Mathematics (Dover Books on Mathematics) by Andrew Wohlgemuth
 Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 1114, 2010 : proceedings by Matt Kaufmann
 Building Proofs: A Practical Guide by Suely Oliveira
 Why Prove it Again?: Alternative Proofs in Mathematical Practice by John W. Dawson Jr.
 L. E. J. Brouwer  van Mystiek tot wiskunde by D. van Dalen
 Building Proofs by David Stewart
 Mechanizing Mathematical Reasoning: Essays in Honor of JΓΆrg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by JΓΆrg H. Siekmann
 Teaching and Learning Proof Across the Grades: A K16 Perspective (Studies in Mathematical Thinking and Learning Series) by Despina A. Stylianou
 The foundations of intuitionistic mathematics by Stephen Cole Kleene

Wording
1922 Edition 

Modern language 

Emoji 

"Far Friends"MDS classes with significant recommendations overlap, excluding ones under the same toplevel class. None 
What is MDS?Melvil stands for "Melvil Decimal System," named after Melvil Dewey, the famous librarian. Melvil Dewey invented his Dewey Decimal System in 1876, and early versions of his system are in the public domain. More recent editions of his system are in copyright, and the name "Dewey," "Dewey Decimal," "Dewey Decimal Classification" and "DDC" are registered trademarked by OCLC, who publish periodic revisions. LibraryThing's MDS system is based on the classification work of libraries around the world, whose assignments are not copyrightable. MDS "scheduldes" (the words that describe the numbers) are useradded, and based on public domain editions of the system. The Melvil Decimal System is NOT the Dewey Decimal System of today. Wordings, which are entered by members, can only come from public domain sources. The base system is the Free Decimal System, a public domain classification created by John Mark Ockerbloom. Where useful or necessary, wording comes from the 1922 edition of the Dewey Decimal System. Language and concepts may be changed to fit modern tastes, or to better describe books cataloged. Wordings may not come from incopyright sources. 