Mathematical logic

Electronic communication and financial transactions have assumed massive proportions today.

Assuming little previous mathematical knowledge, Error Correcting Codes provides a sound introduction to key areas of the subject.

Assuming little previous mathematical knowledge, Error Correcting Codes provides a sound introduction to key areas of the subject.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all.

Most coding theory experts date the origin of the subject with the 1948 publication of A Mathematical Theory of Communication by Claude Shannon.

Most coding theory experts date the origin of the subject with the 1948 publication of A Mathematical Theory of Communication by Claude Shannon.

Combinatorics and Number Theory of Counting Sequences is an introduction to the theory of finite set partitions and to the enumeration of cycle decompositions of permutations.

Combinatorics and Number Theory of Counting Sequences is an introduction to the theory of finite set partitions and to the enumeration of cycle decompositions of permutations.

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

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.

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

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

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.

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

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

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.

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.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

The third in a series of four books presenting the seminal papers from the Caltech-UCLA ''Cabal Seminar''.

The first book to introduce the rapidly developing subject of NIP theories, for students and researchers in model theory.