Mathematical logic

Contemporary introduction to automata theory that uniquely also covers some modern applications to bioscience.

An insightful overview of how syntactic theory was influenced by developments in the formal sciences during the twentieth Century.

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.

Now in its fourth edition, this book on logic has been enhanced and rewritten.

The Description Logic Handbook - unique reference in field of knowledge representation.

This two-volume work bridges the gap between introductory texts and the research literature.

This two-volume set bridges the gap between introductory texts and the research literature.

This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic.

One of the twentieth century's most eminent mathematical writers, Augustus De Morgan enriched his expositions with insights from history and psychology.

This introductory treatment covers the basic concepts and machinery of stability theory.

The primary purpose of this undergraduate text is to teach students to do mathematical proofs.

Statistical data are not always precise numbers, or vectors, or categories.

Statistical data are not always precise numbers, or vectors, or categories.

CCITT (now ITU-T) Specification and Description Language (SDL) and systems engineering (formal and informal) in SDL are considered in this publication.

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory.

The bulk of this volume consists of invited addresses presented at the Colloquium.

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications.

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications.

Information security has a major gap when cryptography is implemented.

Information security has a major gap when cryptography is implemented.

Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications.

Fundamentals of Linear Algebra is like no other book on the subject.

Fundamentals of Linear Algebra is like no other book on the subject.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history.

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process.

This book describes the need of copyright protection for multimedia objects and develops an invisible image watermarking scheme to serve the purpose of copyright protection.

Already in just a decade of existence, cryptocurrencies have been the world's best-performing financial asset, outperforming stocks, bonds, commodities and currencies.

This book describes the need of copyright protection for multimedia objects and develops an invisible image watermarking scheme to serve the purpose of copyright protection.

Already in just a decade of existence, cryptocurrencies have been the world's best-performing financial asset, outperforming stocks, bonds, commodities and currencies.

Paul Williams, a leading authority on modeling in integer programming, has written a concise, readable introduction to the science and art of using modeling in logic for integer programming.

There are certain rules that one must abide by in order to create a successful sequel.

In 1992 we published a book entitled Fuzzy Measure Theory (Plenum Press, New York), in which the term 'fuzzy measure' was used for set functions obtained by replacing the additivity requirement of classical measures with weaker requirements of monotonicity with respect to set inclusion and con- nuity.

In this book I argue that a reason for the limited success of various studies under the general heading of cybernetics is failure to appreciate the importance of con- nuity, in a simple metrical sense of the term.

Over the past two decades, the once small local Colorado Springs Mathematics Olympiad, founded by the author himself, has now become an annual state-wide competition, hosting over one-thousand high school contenders each year.

This is a unique type of book; at least, I have never encountered a book of this kind.

"e;Mathematical Problems from Applied Logic II"e; presents chapters from selected, world renowned, logicians.

In recent years, classical computability has expanded beyond its original scope to address issues related to computability and complexity in algebra, analysis, and physics.

This book is an informal yet systematic presentation of lectures given by the author on Boolean algebras.

This impressive volume is dedicated to Mel Nathanson, a leading authoritative expert for several decades in the area of combinatorial and additive number theory.

Methods of dimensionality reduction provide a way to understand and visualize the structure of complex data sets.

This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been obtained in the last twenty years.

Although the ?

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California.

This book is unique in treating mathematical logic in a concise and streamlined fashion.

Algebraic Geometry is the study of systems of polynomial equations in one or more variables, asking such questions as: Does the system have finitely many solutions, and if so how can one find them?

Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians.