Logic 38

This book investigates the foundations of probability theory and logic, intertwining historical insights with modern interpretations. It explores the evolution of probability theory from Boole’s sem……続きを見る

Dieses Buch richtet sich an Studierende in MINT-Studiengängen, die die Mathematik-Grundvorlesungen der ersten beiden Semester absolviert haben. Es vermittelt ein grundlegendes Verständnis der mehrdi……続きを見る

This book presents a logical system that is able to capture all aspects of modern probability as it is practiced today. The system is then used to rigorously formulate the principle of indifference.……続きを見る

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the Inte……続きを見る

What if coincidence doesn't existーonly patterns we fail to see? In Motha's First Law of Probability (Hidden Pattern), Bonginhlanhla Microsen Motha introduces a thought-provoking principle: the idea……続きを見る

Hat die Geschichte des Menschen eine Richtung, ein Ziel – oder ist sie nur ein ewiges Auf und Ab von Kulturen, Regierungen, Gesellschaftssystemen, Wirtschaftsformen, Meinungen? Ist sie also von Gese……続きを見る

Entdecken und fördern Sie mit diesem inspirierenden und praxisnahen Buch das Potenzial mathematisch begabter Schülerinnen und Schüler in den Klassenstufen 5 bis 7! Sorgfältig ausgearbeitete Lerneinh……続きを見る

This book introduces the core ideas of L.E.J. Brouwer’s approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Br……続きを見る

In Shadows of the Mind: A Search for the Missing Science of Consciousness, renowned mathematician and physicist Roger Penrose presents a bold and thought-provoking exploration of the human mind. Bui……続きを見る

This book provides an entry into some the key areas of research in contemporary model theory. Model theory, a branch of mathematical logic, is an exciting and vibrant discipline. Advances in pure mo……続きを見る

続きを見る

The financial industry has been evolving more quickly than most of us have anticipated. As digital currencies gain popularity, both new opportunities and hazards are emerging. Cryptocurrencies are n……続きを見る

This book provides a comprehensive introduction to some key subjects in logic, category theory, algebra and topology. Its five chapters contain the written records of the five courses of the 2022 TA……続きを見る

The financial industry has been evolving more quickly than most of us have anticipated. As digital currencies gain popularity, both new opportunities and hazards are emerging. Cryptocurrencies are n……続きを見る

Logic of Sound and Silence formalises the timbre-texture co-ordinate of avant-garde music through the prism of logic and set theory. Timbres are grouped into sets, and the implementation of set-theo……続きを見る

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026. The 6 full papers included in these pr……続きを見る

Dieses Lehrbuch für das Grundstudium soll angehende Informatikerinnen und Informatiker dazu inspirieren, mathematische Methoden mit Begeisterung anzuwenden, um bessere Lösungen für die Herausforderu……続きを見る

This book gathers original contributions from philosophers working at the intersection of logic, epistemology, and philosophy of science. The chapters explore a wide range of perspectives on the bou……続きを見る

This edited volume provides a comprehensive exploration of neutrosophic methodologies, emphasizing their computational frameworks, theoretical advancements, and practical applications. Neutrosophic ……続きを見る

This book is a Weekend Pocketbook on One of Mathematics' Biggest Awakenings, The Gödel's Incompleteness Theorem. This discovery that changed how we understand truth, proof, mathematics, and the limi……続きを見る

Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of a……続きを見る

Mathematical Foundations of Blockchains is a two-volume work on blockchains. Blockchain is a novel paradigm for a distributed ledger. Volume 1 is on the fundamentals of blockchains and consists of a……続きを見る

The Math Thought Mindset: Logic, Reasoning, and Proofs prioritizes the understanding of how things work, which is crucial for mastering mathematics. This mindset is central in computer science, econ……続きを見る

What is nothing? It seems like the simplest question in the world. But zero is not simple. It never was. It took humanity thousands of years to find it ー civilizations that built pyramids, mapped t……続きを見る

This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. ……続きを見る

REA’s Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, compreh……続きを見る

This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible t……続きを見る

A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. ……続きを見る

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory ……続きを見る

One of the twentieth century's most eminent mathematical writers, Augustus De Morgan enriched his expositions with insights from history and psychology. On the Study and Difficulties of Mathematics ……続きを見る