Logic 3

This guidebook is for college instructors who teach a course in Introduction to Logic at a teachers college or provide a workshop in this subject for in-service mathematics teachers. It can also be ……続きを見る

The Learner, who wishes to try the question _fairly_, whether this little book does, or does not, supply the materials for a most interesting mental recreation, is _earnestly_ advised to adopt the f……続きを見る

The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the……続きを見る

Combinatorics and Number Theory of Counting Sequences is an introduction to the theory of finite set partitions and to the enumeration of cycle decompositions of permutations. The presentation prior……続きを見る

Ordered sets are ubiquitous in mathematics and have significant applications in computer science, statistics, biology and the social sciences. As the first book to deal exclusively with finite order……続きを見る

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millen……続きを見る

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

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logi……続きを見る

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

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the……続きを見る

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

Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathemat……続きを見る

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

Comprehensive in its selection of topics and results, this self-contained text examines the relative strengths and consequences of the axiom of choice. Each chapter contains several problems, graded……続きを見る

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