Logic 11

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the sub……続きを見る

The prize-winning essays in this book address the fascinating but sometimes uncomfortable relationship between physics and mathematics. Is mathematics merely another natural science? Or is it the re……続きを見る

This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important conne……続きを見る

This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that h……続きを見る

This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that h……続きを見る

Computation and its Limits is an innovative cross-disciplinary investigation of the relationship between computing and physical reality. It begins by exploring the mystery of why mathematics is so e……続きを見る

Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical sign……続きを見る

'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossib……続きを見る

This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics. Perfect for graduate or PhD mathematical-science students looking for help in ……続きを見る

>STATISTICS AND CAUSALITY A one-of-a-kind guide to identifying and dealing with modern statistical developments in causality Written by a group of well-known experts, Statistics and Causality: Metho……続きを見る

This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing ……続きを見る

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these area……続きを見る

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of mode……続きを見る

This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an unde……続きを見る

Are you smarter than a Singaporean ten-year-old? Can you beat Sherlock Holmes? If you think the answer is yes - I challenge you to solve my problems. Here are 125 of the world's best brainteasers fr……続きを見る

This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, feat……続きを見る

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number……続きを見る

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in t……続きを見る

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences……続きを見る

The philosophy of mathematics by the French philosopher,Auguste Comte.He is sometimes regarded as the first philosopher of science in the modern sense of the term.The philosophy of mathematics is th……続きを見る

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introd……続きを見る

This book provides an interdisciplinary approach to one of the most fascinating and important open questions in science: What is quantum mechanics really talking about? In the last decades quantum m……続きを見る

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of t……続きを見る

The Mathematics That Power Our World: How Is It Made? is an attempt to unveil the hidden mathematics behind the functioning of many of the devices we use on a daily basis. For the past years, discus……続きを見る

Newton's explanation of the natural law of universal gravity shattered the way mankind perceived the universe, and hence it was not immediately embraced. After all, how can anyone warm to a force th……続きを見る

The Logic Of Names : An Introduction To Boole's Laws Of Thought.. - By I. P. Hughlings 続きを見る

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a com……続きを見る

Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the t……続きを見る

This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambiti……続きを見る

Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm back……続きを見る