ａｎ - Logic 1

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it ……続きを見る

**"An ambitious and meticulous foray into the nature of being." -- The Boston Globe A landmark exploration of the relationship between emotion and reason** Since Descartes famously proclaimed, "I th……続きを見る

Ogni curioso dei numeri Primi, “i mattoni con cui si costruiscono tutti gli altri numeri”, sa che la ricerca di una semplice formula per “distinguere nell'ambito degli interi positivi tutti i numeri……続きを見る

**A New York Times Critics' Top Book of 2021 • A Booklist Top Ten Biography of 2021 • A Kirkus Reviews Best Science Book of 2021 The first major biography written for a general audience of the logic……続きを見る

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to un……続きを見る

Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly……続きを見る

The book is devoted to various constructions of sets which are nonmeasurable with respect to invariant (more generally, quasi-invariant) measures. Our starting point is the classical Vitali theorem ……続きを見る

Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The v……続きを見る

You don’t have to love math to enjoy a hand of cards, a night at the casino, or a puzzle. But your pleasure and prowess at games, gambling, and other numerically related pursuits can be heightened w……続きを見る

This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which wo……続きを見る

This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in th……続きを見る

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advance……続きを見る

This second edition of Mathematical Olympiad Treasures contains a stimulating collection of problems in geometry and trigonometry, algebra, number theory, and combinatorics. It encourages readers to……続きを見る

Newton's explanation of the natural law of universal gravity shattered the way mankind perceived the universe, and hence it was not immediately embraced. After all, how can anyone warm to a force th……続きを見る

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is intere……続きを見る

This book is a primer on critical thinking. Without it, the Internet is only a misinformation highway. The dark arts of untruthfulness are ubiquitous in official information. The general techniques ……続きを見る

This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. ……続きを見る

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. Th……続きを見る

Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and oft……続きを見る

A good title should be informative enough to illuminate a potential reader on the content of a book. We hope that the present title gives at least some hints of what this book is about. The notion o……続きを見る

This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author ……続きを見る

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and wri……続きを見る

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introductionーingenious, instructive, entertainingーto Gödel’s famous theorems. Wi……続きを見る

Succinct and understandable, this book is a step-by-step guide to the mathematics and construction of electrical load forecasting models. Written by one of the world’s foremost experts on the subjec……続きを見る

A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. ……続きを見る

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensive history of the mathematical background, content,……続きを見る

Set theory is an autonomous and sophisticated field of mathematics that is extremely successful at analyzing mathematical propositions and gauging their consistency strength. It is as a field of mat……続きを見る

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing……続きを見る

Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible world's model is nothing but a graph with labelled nodes and labelled edges. Such graphs provide seman……続きを見る

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a n……続きを見る