Mathematical foundations

A First Course in Logic is an introduction to first-order logic suitable for first and second year mathematicians and computer scientists.

Cyber security is the protection of information systems, hardware, software, and information as well from theft, damages, interruption or misdirection to any of these resources.

Cyber security is the protection of information systems, hardware, software, and information as well from theft, damages, interruption or misdirection to any of these resources.

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science.

This book discusses the current technologies of cryptography using DNA computing.

This book discusses the current technologies of cryptography using DNA computing.

FINITE MATHEMATICS, Seventh Edition, uses a large number of applications based on real data from business, economics, and the life and social sciences to help you see how mathematics relates to your own life and interests.

The essays in this volume present a sustained case for a healthy pluralism in mathematics and its logics.

This Festschrift includes papers presented to honour Solomon Feferman on his seventieth birthday, reflecting his broad interests and his approach to foundational research.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

Explores connections between infinitary model theory and other branches of mathematical logic, with algebraic applications.

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees.

This first volume develops factorization algebras with a focus upon examples exhibiting their use in field theory, which will be useful for researchers and graduates.

This first volume develops factorization algebras with a focus upon examples exhibiting their use in field theory, which will be useful for researchers and graduates.

Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.

The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning.

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.

This volume bridges the gap between a first-year graduate logic course and research papers in stability theory.

This book presents the theory of proper forcing and its relatives from the beginning.

A comprehensive account of the theory of constructible sets at an advanced level, aimed at graduate mathematicians.

This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.

This book brings together several directions of work in model theory between the late 1950s and early 1980s.

The theory set out in this book results from the meeting of descriptive set theory and recursion theory.

This volume presents a unified and coherent account of the many and various parts of general recursion theory.

This volume presents a systematic study of the interaction between local and global degree theory.

This book introduces first order stability theory, organized around the spectrum problem, with complete proofs of the Vaught conjecture for ω-stable theories.

A clear and focused introduction to recursion theory that is ideal for teaching and self-study.

This book introduces the active area of the model theory of fields, concentrating on connections to stability theory.

These notes develop the theory of descriptive sets, leading up to a new proof of Louveau''s separation theorem for analytic sets.

Proceedings of the conference ''Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel''s Legacy'', held in 1996.

An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.

Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.

This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.

This volume presents some of the main areas and results of general metamathematics, including the results of Gödel et al.

Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, covering classical topics of mathematical logic.

Proceedings of the 1996 European Summer Meeting of the Association for Symbolic Logic, held in San Sebastian, Spain.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

Provides readers with experience of working on difficult unsolved problems.

Provides readers with experience of working on difficult unsolved problems.

Set theory can be considered a unifying theory for mathematics.

Set theory can be considered a unifying theory for mathematics.

A two-volume advanced text for graduate students.

A two-volume advanced text for graduate students.

Using robust software, this book focuses on learning assistants for evidence-based reasoning that learn complex problem solving from humans.

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

Experts in the field explore the connections across physics, quantum logic, and quantum computing.