کتاب های موجود در دسته بندی منطق ریاضی

Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification …

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 …

People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion …

The unique behavior of the "liquid state", together with the richness of phenomena that are observed, render liquids particularly interesting …

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A …

A book which efficiently presents the basics of propositional and predicate logic, van Dalen's popular textbook contains a complete treatment …

In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," …

Mathematical Proofs: A Transition to Advanced Mathematics, 2/e, prepares students for the more abstract mathematics courses that follow calculus. This …

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 …

Presents a new view of quantum field theory, a whole new interpretation of nonperturbative regularization and probability, and a new …

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical …

Kleene's textbook is one of the fundamental texts of mathematical logic. It is easy to see why it is (supposedly) …

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a …

Gregory Bateson was a philosopher, anthropologist, photographer, naturalist, and poet, as well as the husband and collaborator of Margaret Mead. …

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. …

Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps …

I give this book 5 stars out of respect for its enormous contribution to mathematical logic; for no doubt many …

A Mathematical Introduction to Logic, Second Edition , offers increased flexibility with topic coverage, allowing for choice in how to …

The noted expert selects 70 of his favorite "short" puzzles, including such mind-bogglers as The Returning Explorer, The Mutilated Chessboard, …

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 …

This established standard covers the basic topics for a first course in mathematical logic. In this edition, the author has …

Over a period of 25 years as author of the Mathematical Games column for Scientific American, Martin Gardner devoted a …

Douglas Hofstadter’s book is concerned directly with the nature of “maps” or links between formal systems. However, according to Hofstadter, …

John Allen Paulos cleverly scrutinizes the mathematical structures of jokes, puns, paradoxes, spoonerisms, riddles, and other forms of humor, drawing …

It is typically thought that the demandingness problem is specifically a problem for consequentialists because of the gradable nature of …