Mathematical logic

This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the underpinning key ideas.

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications.

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics.

This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human and machine consciousness.

This volume features a critical edition of the recently rediscovered manuscripts written by the French philosopher Louis Couturat (1868-1914).

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 explores the premise that a physical theory is an interpretation of the analytico-canonical formalism.

This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques.

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing.

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