Mathematical Logic And Its Working Foundations
by Sb Jeffrey
2021-01-12 14:11:46
Mathematical Logic And Its Working Foundations
by Sb Jeffrey
2021-01-12 14:11:46
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. This book is about the foundations of mathematical logic. Readers will learn about first-order logic, set theory, model ...
Read more
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.
This book is about the foundations of mathematical logic. Readers will learn about first-order logic, set theory, model theory, proof theory, and computability theory. The book also discusses working foundations like the peano axioms, mathematical induction, naive set theory, and more.
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.
Less
