The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize …
This text analyzes the intricate logical process through which the quantum theory was developed, and shows that the quantum mechanics …
Quantum mechanics is a difficult subject, and this book is intended to help the reader overcome the main difficulties in …
Jaakko Hintikka is one of the most creative figures in contemporary philosophy. He has made significant contributions to virtually all …
By North-American standards, philosophy is not new in Quebec: the first men tion of philosophy lectures given by a Jesuit …
A remarkable account of Kurt Gödel, weaving together creative genius, mental illness, political corruption, and idealism in the face of …
Alan Turing was one of the most influential thinkers of the 20th century. In 1935, aged 22, he developed the …
I'm no matematician, no philosopher, just found the book in a bookstore and got curious about the presentation of a …
clear exposition and the consistency of presentation make learning arithmetic accessible for all. Key concepts are presented in section objectives …
The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps …
A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to …
Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period …
This book contains scores of intriguing puzzles and paradoxes from Lewis Carroll, the author of Alice in Wonderland, whose interests …
A guide to the practical art of plausible reasoning, this book has relevance in every field of intellectual activity. Professor …
This book deals with two important branches of mathematics, namely, logic and set theory. Logic and set theory are closely …
This exciting and pioneering new overview of multiagent systems, which are online systems composed of multiple interacting intelligent agents, i.e., …
It is by fitting the world into neatly defined boxes that Buddhist, Hindu, and Jain philosophers were able to gain …
3rd Edition.
This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The …
Set Theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and …
The theory of large cardinals is currently a broad mainstream of modern set theory, the main area of investigation for …
This monograph contains a selection of over 250 propositions which are equivalent to AC. The first part on set forms …
Comprehensive in its selection of topics and results, this self-contained text examines the relative strengths and the consequences of the …
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the …
In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book …
