Mathematical logic books

The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the...  Read More >>

From mathematics to word puzzles, from logic to lateral thinking, veteran puzzle maker Niederman delights in tackling...  Read More >>

 Read More >>

Primarily consisting of talks presented at a workshop at the MSRI during its ""Logic Year"" 1989-90, this volume...  Read More >>

 Read More >>

This collection of papers has its origin in a conference held at the Uni- versity of Toronto in June of 1988. The...  Read More >>

What is the shortest possible route for a travelling salesman seeking to visit each city on a list exactly once...  Read More >>

This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering conventional...  Read More >>

Concise introduction to current topics in model theory, including simple and stable theories.  Read More >>

Concise introduction to current topics in model theory, including simple and stable theories.  Read More >>

Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis...  Read More >>

 Read More >>

There are virtually no prere­ quisites, although a familiarity with notions encountered in a beginning course in...  Read More >>

Boolean circuit complexity is the combinatorics of computer science and involves many intriguing problems that are...  Read More >>

We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic...  Read More >>

Our mathematics students, having been drilled for years in high-school and college, and having studied the immense...  Read More >>

This book provides foundations for software specification and formal software development from the perspective of...  Read More >>

Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics...  Read More >>

The idea of truthlikeness fell in disrepute also as a result of the careless, often confused and metaphysically...  Read More >>

 Read More >>

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual...  Read More >>

Feinberg präsentiert in seinem Buch neue Ideen über spezifische Züge und Funktionen von Kunst und Menschlichkeit,...  Read More >>

 Read More >>

 Read More >>

Descriptive set theory has been one of the main areas of research in set theory for almost a century. Over the years,...  Read More >>