Mathematical foundations

Helpful instruction and plenty of practice for your child to understand the basics of multiplication and divisionUnderstanding multiplying and dividing is essential for your child to do math problems with confidence.

The bestselling book that has helped millions of readers solve any problemA must-have guide by eminent mathematician G.

The bestselling guide updated and expanded for today's mathphobesWritten by two pioneers of the concept of math anxiety and how to overcome it, Arithmetic and Algebra Again has helped tens of thousands of people conquer their irrational fear of math.

The remarkable properties of the numbers one through nineIn Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applications, and connections to various areas of mathematics, including number theory, geometry, chaos theory, numerical analysis, and mathematical physics.

A lively collection of fun and challenging problems in ancient Egyptian mathThe mathematics of ancient Egypt was fundamentally different from our math today.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic.

If you have ever wondered what quaternions are - then look no further, John Vince will show you how simple and useful they are.

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics.

This monograph looks at causal nets from a philosophical point of view.

Now in its third decade, the Colorado Mathematical Olympiad (CMO), founded by the author, has become an annual state-wide competition, hosting many hundreds of middle and high school contestants each year.

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.

This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws.

This book focuses on the game-theoretical semantics and epistemic logic of Jaakko Hintikka.

This textbook introduces enumerative combinatorics through the framework of formal languages and bijections.

This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area.

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics.

This book introduces the theory of graded consequence (GCT) and its mathematical formulation.

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference.

This book presents an English translation of a classic Russian text on duality theoryfor Heyting algebras.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.

The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG).

This book constitutes the refereed proceedings of the 41st IFIP WG 6.

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems.

This book originates as an essential underlying component of a modern, imaginative three-semester honors program (six undergraduate courses) in Mathematical Studies.

Mathematical Labyrinths.

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School.

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011.

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics.

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region.

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory.

Model Validation and Uncertainty Quantification, Volume 3:  Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics, 2021, the third volume of nine from the Conference brings together contributions to this important area of research and engineering.

This book explores the premise that a physical theory is an interpretation of the analytico-canonical formalism.

This book considers the important twentieth century Austrian philosopher, Ludwig Wittgenstein, and his conception of certainty.

This volume offers English translations of three early works by Ernst Schroder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C.

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.

This volume is based on the successful 6th China-Japan Seminar on number theory that was held in Shanghai Jiao Tong University in August 2011.

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics.

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.

This is the first book on the theory of multiple zeta values since its birth around 1994.

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, which was held virtually in April 2022.

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies.

This book explores the fundamentals and applications of Blockchain technology.

This book explores the fundamentals and applications of Blockchain technology.

A WATERSTONES BEST BOOK OF 2023A NEW SCIENTIST BEST BOOK OF 2023WINNER OF THE LA TIMES SCIENCE & TECHNOLOGY 2023 BOOK PRIZE'A generous tour of mathematics for anyone whose instincts tend less towards "e;Just tell me the answer"e; and more towards "e;Wait, but why?