Mathematical logic books

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians...  Read More >>

This book explores the fundamentals and applications of Blockchain technology.  Read More >>

 Read More >>

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems.  Read More >>

70105114115116451111141001011143210811110310599321151161171001051011153210997116104101109971161059997108321151161141179911611711410111532111110101329997110321001011159911410598101321051103297321129711...  Read More >>

84104101321051101161011149799116105111110329810111611910110111032104971141091111101059932971109710812111510511532971101003299111110118101120321031011111091011161141213210497115321001149710997116105999...  Read More >>

"This fascinating letter by William Hamilton, one of the leading mathematicians and thinkers of the Victorian era,...  Read More >>

"A groundbreaking work of mathematical philosophy that explores the role of signs and symbols in the process of...  Read More >>

With Reference To Some Recent Publications.  Read More >>

"Outline of the Laws of Thought is a classic text of formal logic that has been influential in the development of...  Read More >>

"A seminal work in the field of mathematics, written by George Boole, which laid the foundation for modern symbolic...  Read More >>

"A groundbreaking work of mathematical philosophy that draws on insights from logic, psychology, and epistemology...  Read More >>

"This authoritative reference work covers all aspects of logic, from its philosophical foundations to its technical...  Read More >>

"This authoritative reference work covers all aspects of logic, from its philosophical foundations to its technical...  Read More >>

"A groundbreaking work of mathematical philosophy that draws on insights from logic, psychology, and epistemology...  Read More >>

"A groundbreaking work of mathematical philosophy that explores the role of signs and symbols in the process of...  Read More >>

With Reference To Some Recent Publications.  Read More >>

"Originally published in 1748, this comprehensive treatise on logic was designed to be a primer for young scholars...  Read More >>

"Outline of the Laws of Thought is a classic text of formal logic that has been influential in the development of...  Read More >>

"Thomas Beddoes offers a thorough examination of the nature of demonstrative evidence in this insightful study....  Read More >>

"This fascinating letter by William Hamilton, one of the leading mathematicians and thinkers of the Victorian era,...  Read More >>

"A seminal work in the field of mathematics, written by George Boole, which laid the foundation for modern symbolic...  Read More >>

 Read More >>

 Read More >>

 Read More >>