Mathematical foundations

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.

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

Quantum mechanics is said to be the most successful physical theory ever.

Quantification and modalities have always been topics of great interest for logicians.

'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as well as construct their own.

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength.

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship.

Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics.

The theme of this book is the self-generation of information by the self-modification of systems.

The present volume contains a considered choice of the existing literature on Automath.

Gaps and limits are two phenomena occuring in the Boolean algebra P(&ohgr;)/fin.

General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book.

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number.

This volume is number five in the 11-volume Handbook of the History of Logic.

In this research monograph, the author's work on classification and related topics are presented.

Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.

Anyone involved in the philosophy of science is naturally drawn into the study of the foundations of probability.

This book presents interpolation theory from its classical roots beginning with Banach function spaces and equimeasurable rearrangements of functions, providing a thorough introduction to the theory of rearrangement-invariant Banach function spaces.

Axiomatic Set Theory

Topics in Arithmetical Functions

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic.

With the ever-increasing threat of cyber-attacks, especially as the COVID-19 pandemic helped to ramp up the use of digital communications technology, there is a continued need to find new ways to maintain and improve cybersecurity.

With the ever-increasing threat of cyber-attacks, especially as the COVID-19 pandemic helped to ramp up the use of digital communications technology, there is a continued need to find new ways to maintain and improve cybersecurity.

These two volumes cover the principal approaches to constructivism in mathematics.

Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing.

This is an introductory undergraduate textbook in set theory.

Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort.

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.

While it is well known that the Delian problems are impossible to solve with a straightedge and compass - for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments - the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s).

This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular structure.

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.

This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results.

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic.

Problem solving is the very area of articifical intelligence AI which, probably, will never result in a complete set of formalized theories, in a pragmatic philosphy, or in a "e;universal"e; applied discipline.

Relation algebras are algebras arising from the study of binary relations.

Logic's basic elements are unfolded in this book.

This book contains surveys and research articles on the state-of-the-art in finitely presented groups for researchers and graduate students.

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines.

This English translation of the author's original work has been thoroughly revised, expanded and updated.

Recursive Algebra, Analysis and Combinatorics

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.

With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic.

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic.

The successful 30-Second series tackles numbers, with experts on maths and data demystifying the essential numerical topics.

This book is an account of the important influence on the development of mathematical logic of Charles S.

This book was developed to address a need.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.

This book provides a comprehensive exposition of the use of set-theoretic methods in abelian group theory, module theory, and homological algebra, including applications to Whitehead's Problem, the structure of Ext and the existence of almost-free modules over non-perfect rings.

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems.