Mathematical logic

This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching.

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

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.

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 volume is dedicated to Hiroakira Ono life's work on substructural logics.

This Festschrift was published in honor of Egon Borger on the occasion of his 75th birthday.

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.

This book applies the formal discipline of logic to everyday discourse.

This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation.

This book is dedicated to the work of Alasdair Urquhart.

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics.

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

For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true.

This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic.

A compact and easily accessible book, it guides the reader in unravelling the apparent mysteries found in doing mathematical proofs.

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922-2014).

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate.

This textbook explores the foundations of real analysis using the framework of general ordered fields, demonstrating the multifaceted nature of the area.

This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti.

Keeping students involved and actively learning is challenging.

This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have not taken any discrete math course before.

This book delves into finite mathematics and its application in physics, particularly quantum theory.

This contributed volume explores the ways logical skills have been perceived over the course of history.

This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

Computable analysis is the modern theory of computability and complexity in analysis that arose out of Turing's seminal work in the 1930s.

This textbook provides a self-contained introduction to decidability of first-order theories and their combination.

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.

This book considers the manifold possible approaches, past and present, to our understanding of the natural numbers.

This book presents peer-reviewed papers from the 4th International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2019), held in Tbilisi, Georgia, in September 2019.

This undergraduate textbook promotes an active transition to higher mathematics.

This volume is a collection of essays in honour of Professor Mohammad Ardeshir.

This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.

The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical systems.

This book provides a concise and self-contained introduction to the foundations of mathematics.

This volume presents the state of the art in the algebraic investigation into substructural logics.

Kurt Godel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules.

This book reports on cutting-edge concepts related to Bourbaki's notion of structures meres.

This volume examines problem solving and applied systems aimed at improving performance and management of organizations.

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject.

This monograph offers a critical introduction to current theories of how scientific models represent their target systems.

This easy-to-understand textbook introduces the mathematical language and problem-solving tools essential to anyone wishing to enter the world of computer and information sciences.

This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds.

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.

Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.

This textbook offers an extensive list of completely solved problems in mathematical analysis.

In this volume we witness Wittgenstein in the act of composing and experimenting with his new visions in philosophy.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020.

This volume provides a broad perspective on the state of the art in the philosophy and conceptual foundations of quantum mechanics.