From the Ishango Bone of central Africa and the Inca quipu of South America to the dawn of modern mathematics, …
This book is a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the …
The mathematical underpinnings of games, whether they are strategic or games of chance, have been known for centuries, but are …
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on …
Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work, from …
Volume 9 of the Routledge History of Philosophy surveys ten key topics in the Philosophy of Science, Logic and Mathematics …
Varieties of algebras are equationally defined classes of algebras, or "primitive classes" in MAL'CEV'S terminology. They made their first explicit …
With contributions derived from presentations at an international conference, Non-Associative Algebra and Its Applications explores a wide range of topics …
Neutrosophic Logic was created by Florentin Smarandache (1995) and is an extension / combination of the fuzzy logic, intuitionistic logic, …
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part …
Since its original publication in 2000, Game Theory Evolving has been considered the best textbook on evolutionary game theory. This …
Classic undergraduate text sharpens students' grasp of the deductive method, including variables, sentential calculus, theory of identity, more. Exercises.
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to …
"Based on papers presented at a recent international conference on algebra and algebraic geometry held jointly in Antwerp and Brussels, …
At a time of unprecedented expansion in the life sciences, evolution is the one theory that transcends all of biology. …
Algorithms in algebraic geometry go hand in hand with software packages that implement them. Together they have established the modern …
Noncommutative geometry is the study of families of (commutative) algebraicvarieties (with specified connecting morphisms) which are locally controlledby noncommutative algebras.
Nature's Constants. Holy cow, what are those? Are they the inch, the foot, the yard, the mile? The answer to …
Reader reviews(1) "Fantastic book ... very easy to follow and leads you gradually and gently to the full mathematical detail …
Add detailed bookmarks/outline (through MasterPDF).
What if you had to take an art class in which you were only taught how to paint a fence? …
This book pays careful attention to applications of game theory in a wide variety of disciplines. The applications are treated …
This book systematically explores the statistical characteristics of cryptographic systems, the computational complexity theory of cryptographic algorithms and the mathematical …
This book covers the most cutting-edge and hot research topics and fields of post-quantum cryptography. The main purpose of this …
The Joy of Cryptography is an undergraduate textbook in cryptography. This book grew out of lecture notes I developed for …
The pedagogical approach is anchored in formal definitions/proof of security, but in a way that I believe is more accessible …
The Belgian block cipher Rijndael was chosen in 2000 by the U.S. governments National Institute of Standards and Technology (NIST) …
In the age of Machine Intelligence and computerized decision making, we have to deal with subjective imprecision inherently associated with …