Logic 3

How a computational framework can account for the successes and failures of human cognition At the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at t……続きを見る

The second edition of this highly praised textbook provides an expanded introduction to the theory of ordered sets and its connections to various subjects. Utilizing a modular presentation, the core……続きを見る

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevan……続きを見る

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this concep……続きを見る

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……続きを見る

This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the m……続きを見る

Kenneth J. Arrow's pathbreaking "impossibility theorem" was a watershed innovation in the history of welfare economics, voting theory, and collective choice, demonstrating that there is no voting ru……続きを見る

愈想贏，就愈會輸，這是賽局理論道出的困境， 也是人類衝突、背叛、彼此威脅、耗盡資源的原因。 《人生就是賽局》幫助我們認識賽局理論全貌， 只有了解僵局如何形成，才能扭轉情勢、提高合作效率。 本書內容包括：……続きを見る

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a rema……続きを見る

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student ……続きを見る

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype univ……続きを見る

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……続きを見る

Lewis Carroll the author of the world famous Alice in Wonderland is well known even today for his fiction, but his tenure as professor of mathematics at Oxford university is less well known as is hi……続きを見る

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 interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the br……続きを見る

Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and this work shows the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first ……続きを見る

An intimate portrait of an everyday genius. Alexander Master’s landlord, Simon, lives in the basement of their Cambridge house. Between teetering towers of outdated maps and slagheaps of plastic bag……続きを見る

Automata theory lies at the foundation of computer science, and is vital to a theoretical understanding of how computers work and what constitutes formal methods. This treatise gives a rigorous acco……続きを見る

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this……続きを見る

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 ……続きを見る

The bestselling author of Zero shows how mathematical misinformation pervades-and shapes-our daily lives. According to MSNBC, having a child makes you stupid. You actually lose IQ points. Good Morni……続きを見る

Argumentation, which can be abstractly defined as the interaction of different arguments for and against some conclusion, is an important skill to learn for everyday life, law, science, politics and……続きを見る

This volume takes its name from a popular series of intensive mathematics workshops hosted at institutions in Appalachia and surrounding areas. At these meetings, internationally prominent set theor……続きを見る

Packed with more than a hundred color illustrations and a wide variety of puzzles and brainteasers, Taking Sudoku Seriously uses this popular craze as the starting point for a fun-filled introductio……続きを見る

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most imp……続きを見る

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. ……続きを見る

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital ci……続きを見る

This book offers an excursion through the developmental area of research mathematics. It presents some 40 papers, published between the 1870s and the 1970s, on proofs of the Cantor-Bernstein theorem……続きを見る

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods – some old, some new – that have extended its basic concepts to uncountable ……続きを見る