Mathematical logic Books

First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.

IN 1959 I lectured on Boolean algebras at the University of Chicago. A mimeographed version of the notes on which the lectures were based circulated for about two years; this volume contains those notes, corrected and revised...

An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which...

Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents...

This book is an introduction to constructive mathematics with an emphasis on techniques and results obtained in the last twenty years. The text covers fundamental theory of the real line and metric spaces, focusing on...

This volume contains a variety of problems from classical set theory and represents the first comprehensive collection of such problems. Many of these problems are also related to other fields of mathematics, including algebra,...

The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. It is also viewed as a foundation of mathematics so that "to make a notion precise"...

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as...

This book is designed for use in a one semester problem-oriented course in undergraduate set theory. The combination of level and format is somewhat unusual and deserves an explanation. Normally, problem courses are offered to...

Written by a leading researcher this book presents an introduction to Stochastic Petri Nets covering the modeling power of the proposed SPN model, the stability conditions and the simulation methods. Its unique and well-written...

This book presents contributions from world-renowned logicians, discussing important topics of logic from the point of view of their further development in light of requirements arising from successful application in Computer...

Originally published in 1962. A clear and simple account of the growth and structure of Mathematical Logic, no earlier knowledge of logic being required. After outlining the four lines of thought that have been its roots - the logic of Aristotle, the...

Originally published in 1973. This book is directed to the student of philosophy whose background in mathematics is very limited. The author strikes a balance between material of a philosophical and a formal kind, and does this in a way that will bring...

Originally published in 1962. This book gives an account of the concepts and methods of a basic part of logic. In chapter I elementary ideas, including those of truth-functional argument and truth-functional validity, are explained. Chapter II begins...

Review(s)...recommend this book to the applied community as a valuable source of practical examples of parametric excitations, treated in a modern fashion. - Mathematical Reviews; [Cartmell] has successfully presented the usually complicated and...

Although it is critical in today's world that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge, many textbooks typically emphasize automata theory only,...

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have made it available as...

This is an overview of the current state of knowledge along with open problems and perspectives, clarified in such fields as non-standard inferences in description logics, logic of provability, logical dynamics and...

This detailed textbook presents a great deal of material on ordered sets not previously published in the still rather limited textbook literature. It should be suitable as a text for a course on order theory.

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to...

The book will synthesize and integrate better what are often disparate ideas, themes, and methods across substantive areas of white-collar crime and criminology and criminal justice. The book also puts together critical and...

The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is...

This updated printing of the first edition of Colorado Mathematical Olympiad: the First Twenty Years and Further Explorations gives the interesting history of the competition as well as an outline of all the problems and solutions that have been created...

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models...

This is the only monograph devoted to the expressibility of finitely axiomatizable theories, a classical subject in mathematical logic. The volume summarizes investigations in the field that have led to much of the current...

In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem...

The theory of quasivarieties constitutes an independent direction in algebra and mathematical logic and specializes in a fragment of first-order logic-the so-called universal Horn logic. This treatise uniformly presents the...