Mathematical logic Books

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...

A Treatise On Logic: Pure And Applied is a comprehensive book on the subject of logic written by Stephen Henry Emmens and originally published in 1865. The book is divided into two parts: the first part deals with pure logic, which includes topics such...

A System of Logic by P. McGregor, published in 1862, is a comprehensive exploration of the different ways in which knowledge can be gained, retained, and errors avoided. The book delves into the principles of logic and reasoning, providing a detailed...

""A Short Introduction to the Study of Logic"" is a classic text written by Laurence Johnstone in 1887. The book provides a comprehensive overview of the study of logic, including its history, principles, and applications. Johnstone covers topics such as...

A Logic of Facts: Or Everyday Reasoning is a book written by George Jacob Holyoake in 1866. The book is a comprehensive guide to logical reasoning and critical thinking, aimed at helping readers develop their own reasoning skills. Holyoake presents a...

A groundbreaking work of mathematical philosophy that explores the role of signs and symbols in the process of reasoning. Babbage's insights paved the way for major developments in computer science and artificial intelligence.This work has been selected...

A groundbreaking work of mathematical philosophy that draws on insights from logic, psychology, and epistemology to offer a new approach to understanding the nature and meaning of arithmetic.This work has been selected by scholars as being culturally...

This fascinating letter by William Hamilton, one of the leading mathematicians and thinkers of the Victorian era, offers a critique of Augustus De Morgan's seminal work on symbolic logic, A Budget of Paradoxes. Hamilton argues that De Morgan's work is...

In this classic work on mathematical logic, author unknown provides an introduction to the principles of symbolic logic. Using a rigorous and systematic approach, 'Symbolic Logic' explores the nature of mathematical propositions, the relationship between...

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...