Mathematical logic

The book Advances in Distance Learning in Times of Pandemic is devoted to the issues and challenges faced by universities in the field of distance learning in COVID-19 times.

This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen's, Belfast.

Whether the source is more industry-based or academic research, there certainly appears to be a growing interest in the field of cryptocurrency.

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles.

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles.

Although cryptography plays an essential part in most modern solutions, especially in payments, cryptographic algorithms remain a black box for most users of these tools.

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.

Analysis and Synthesis of Singular Systems provides a base for further theoretical research and a design guide for engineering applications of singular systems.

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

Study smarter and stay on top of your probability course with the bestselling Schaum's Outline-now with the NEW Schaum's app and website!

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

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.

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 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 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.