Mathematical logic

The 2006 proceedings from the Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium.

This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

A thorough introduction to a burgeoning interdisciplinary field, with an emphasis on foundational material.

Presents seminal papers from the Caltech-UCLA ''Cabal Seminar'', unpublished material, and related new papers.

This book gives an account of combinatory logic and lambda-calculus models.

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.

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.

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.

Authoritative and comprehensive account; an essential handbook for all those working in the area.

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.

A Petri net is a mathematical representation of a network.

A straightforward guide to logic conceptsLogic concepts are more mainstream than you may realize.

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.