Mathematical foundations

This book clearly introduces the major topics in logic and their relation to current philosophical issues.

Burgess''s essays address key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation.

An accessible introduction to many-valued and fuzzy logic designed for undergraduate and graduate students.

Monograph exploring the connections that forcing makes with descriptive set theory and other areas of mathematics.

A rigorous, axiomatically formulated presentation of the ''zero-square'', or ''nilpotent'' infinitesimal.

This book presents research in model theory and its applications to valued fields.

Computability and Logic is a classic because of its accessibility to students without a mathematical background.

This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic.

This textbook offers an introduction to the Eclipse system and a guide to problem-solving for students and practitioners alike.

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.

Quantum Groups: A Path to Current Algebra presents algebraic concepts and techniques.

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

This book explores a new axiom of set theory, which simplifies proofs, provides deeper insight, and leads to new results.

This 2004 book presents a fascinating collection of problems related to the Cauchy-Schwarz inequality and coaches readers through solutions.

A unified and comprehensive exposition of the theory of symmetric designs with emphasis on recent developments.

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.

This second volume addresses tremendous progress in elliptic curve cryptography since the first volume.

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

In this book, first published in 2003, categorical algebra is used to build a foundation for the study of geometry, analysis, and algebra.

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 book is concerned with the coherent treatment, including the derivation, analysis, and applications, of the most useful scalar extrapolation methods.

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

First account of a theory, created by Macdonald, of a class of orthogonal polynomial, which is related to mathematical physics.

This is a self-contained introduction to the basics of the theory of information and coding.

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

Although this book deals with basic set theory (in general, it stops short of areas where model-theoretic methods are used) on a rather advanced level, it does it at an unhurried pace.

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

The farther we get from our grade school days, the easier it is to forget those operations and nuances of arithmetical computation that keep recurring in our daily lives: interest and discount problems, time-payment calculations, tax problems, and so on.

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

Although data engineering is a multi-disciplinary field with applications in control, decision theory, and the emerging hot area of bioinformatics, there are no books on the market that make the subject accessible to non-experts.

Master math at your own pace!

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

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

This book is unique as the first effort to expound on the subject of systematic scaling analysis.

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.

Yearning for the Impossible: The Surprising Truth of Mathematics, Second Edition explores the history of mathematics from the perspective of the creative tension between common sense and the "e;impossible"e; as the author follows the discovery or invention of new concepts that have marked mathematical progress.

Yearning for the Impossible: The Surprising Truth of Mathematics, Second Edition explores the history of mathematics from the perspective of the creative tension between common sense and the "e;impossible"e; as the author follows the discovery or invention of new concepts that have marked mathematical progress.

Using data from one season of NBA games, Basketball Data Science: With Applications in R is the perfect book for anyone interested in learning and applying data analytics in basketball.

Using data from one season of NBA games, Basketball Data Science: With Applications in R is the perfect book for anyone interested in learning and applying data analytics in basketball.

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.