Free Delivery Over $100
5333 books were found.
A fascinating exploration of how we can make better, accessible, mathematically-informed predictions about the world... Read More >>
Read More >>
This second volume contains introductions to real-valued logic and applications, abstract elementary classes and... Read More >>
This book revises and expands upon the prior edition, The Navier-Stokes Problem. By proving the NSP paradox, this... Read More >>
This book has been deemed as a classic and has stood the test of time. The book has been considered by academicians... Read More >>
La siguiente obra es una introducción a las demostraciones muy básica y lo hace mediante una herramienta llamada... Read More >>
Proof techniques in cryptography are very difficult to understand even for students or researchers who major in... Read More >>
Getting started in logic at the earliest opportunity is the answer. While other books adopt a formal approach, using... Read More >>
One of the world's most creative mathematicians offers new ways to look at maths - focusing on questions, not answers... Read More >>
This book discusses the convergence of three powerful technologies that play into the digital revolution and blur... Read More >>
Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows... Read More >>
"Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This... Read More >>
This textbook reviews the foundational topics that are typically covered in an introduction to proof course and... Read More >>
Explroes recent theoretical advances of fuzzy sets and numbers, fuzzy systems, fuzzy logic and their generalizations,... Read More >>
This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge... Read More >>
This book presents the construction and resolution of 50 practical optimization problems and covers an exceptionally... Read More >>
This book is about the relationship between necessary reasoning and visual experience in Charles S. In practicing... Read More >>
The book is a one-stop source for cryptographic methods used in payment technologies in major global markets: legacy... Read More >>
"This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi... Read More >>