Mathematical logic books

This book reviews current state of the art methods for building intelligent systems using type-2 fuzzy logic and...  Read More >>

One of the most significant tasks facing mathematics educators is to understand the role of mathematical reasoning...  Read More >>

 Read More >>

 Read More >>

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s....  Read More >>

Forever Undecided is the most challenging yet of Raymond Smullyan's puzzle collections. It is, at the same time,...  Read More >>

 Read More >>

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores...  Read More >>

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to...  Read More >>

This introduction to mathematical logic explores philosophical issues and Godel's Theorem. Its widespread influence...  Read More >>

Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences;...  Read More >>

Seven problem-solving techniques include inference, classification of action sequences, subgoals, contradiction,...  Read More >>

A timeless introduction to the field and a landmark in symbolic logic, showing that classical logic can be treated...  Read More >>

Mysticism explores the nature of reality, beginning with the individual struggle for a clear vision of reality....  Read More >>

Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before...  Read More >>

This clear and well-developed approach to axiomatic set theory is geared toward upper-level undergraduates and graduate...  Read More >>

Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods:...  Read More >>

A world-famous mathematician explores Moore's theory of experiments, Kleene's theory of regular events and expressions,...  Read More >>

Boole's earlier work, The Mathematical Analysis of Logic, appears here, together with an account of the notes...  Read More >>

A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical...  Read More >>

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite...  Read More >>

The field of complexity theory takes its name from this seminal paper and many of the major concepts and issues...  Read More >>

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental...  Read More >>

Verschiedene Griinde haben mich bewogen, den vorliegenden vierten Band dem ursprtinglich geplanten dritten Band...  Read More >>

(He himself would have sharply objected to the qualifier ""theoretical,"" because he more or less identified science...  Read More >>