An Introduction to Mathematical Logic From Its History to Computer Science

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. This book is an introduction to the field of mathematical logic. Readers will learn about the foundations and philosophy behind mathematical logic, as well as its uses and techniques. The book discusses set and model theory, while covering first-order logic, infinitary logic, and algebraic logic.

Project Webster represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, although as Project Webster continues to increase in scope and dimension, more licensed and public domain content is being added. We believe books such as this represent a new and exciting lexicon in the sharing of human knowledge.