Melvil Decimal System: 511.36
Dewmoji: 🔬 > ➗ > 📐 > ? > ?
Philosophy and Psychology
Mathematics and Science
Arts and Recreation
Biography and History
Earth sciences & geology
Fossils & prehistoric life
Applied Mathematics, Probabilities
Modeling And Simulation
Problems and tables
Finite Model Theory
Theory Of Computation
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 (1907-2007): 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 Proofs-as-Programs : The Curry-Howard 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 14-17, 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 14-17, 2014 : proceedings by Gerwin Klein
- Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 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 13-15, 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 11-14, 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 K-16 Perspective (Studies in Mathematical Thinking and Learning Series) by Despina A. Stylianou
- The foundations of intuitionistic mathematics by Stephen Cole Kleene
MDS classes with significant recommendations overlap, excluding ones under the same top-level class.
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 user-added, 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 in-copyright sources.