Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps …
This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A …
This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every …
Ever since Newton created dynamics, there has been controversy about its foundations. Are space and time absolute? Do they form …
That there have been remarkable advances in the field of molecular electronic structure during the last decade is clear not …
This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has …
Douglas Hofstadter’s book is concerned directly with the nature of “maps” or links between formal systems. However, according to Hofstadter, …
This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a …
This is a one-of-a-kind reference for anyone with a serious interest in mathematics. Edited by Timothy Gowers, a recipient of …
Gregory Bateson was a philosopher, anthropologist, photographer, naturalist, and poet, as well as the husband and collaborator of Margaret Mead. …
Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to …
Categories for the Working Mathematician provides an array of general ideas useful in a wide variety of fields. Starting from …
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a …
Principia Mathematica was first published in 1910-1913; this is the fifth impression of the second edition of 1925-1927. The Principia …
I give this book 5 stars out of respect for its enormous contribution to mathematical logic; for no doubt many …
In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," …
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, …
Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the …
Presents a new view of quantum field theory, a whole new interpretation of nonperturbative regularization and probability, and a new …
The unique behavior of the "liquid state", together with the richness of phenomena that are observed, render liquids particularly interesting …
Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification …
For anyone who has ever wondered how computers solve problems, an engagingly written guide for nonexperts to the basics of …
Some love it, some hate it, but The Emperor's New Mind, physicist Roger Penrose's 1989 treatise attacking the foundations of …
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which …
It is typically thought that the demandingness problem is specifically a problem for consequentialists because of the gradable nature of …
A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment …
Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. …
