Mathematical Foundations

Find out your IQ, the fun way . . .-------------------------Underline the odd-man-outhouse igloo bungalow office hut-------------------------Insert...

Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others later than it...

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, nume...

Aimed at graduate students and research logicians and mathematicians, this much-awaited text covers over forty years of work on relative classifica...

Charles Chihara's new book develops and defends a structural view of the nature of mathematics, and uses it to explain a number of striking feature...

A How-to Guide for Implementing Algorithms and ProtocolsAddressing real-world implementation issues, Understanding and Applying Cryptography and Da...

So-called classical logic--the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others--is computationally th...

Keith Devlin and Jonathan Borwein, two well-known mathematicians with expertise in different mathematical specialties but with a common interest in...

All current methods of secure communication such as public-key cryptography can eventually be broken by faster computing. At the interface of physi...

All current methods of secure communication such as public-key cryptography can eventually be broken by faster computing. At the interface of physi...

It is no secret that most people avoid mathematics, in large measure because elementary school teachers have never done much to motivate a love of ...

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in ...

Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduct...

Recursion is a topic that is ubiquitous in computer science. This book provides a leisurely and entertaining journey through recursion. It begins w...

Modern cryptography has evolved dramatically since the 1970s. With the rise of new network architectures and services, the field encompasses much m...

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and...

Beginning with a general discussion of bordism, Professors Madsen and Milgram present the homotopy theory of the surgery classifying spaces and the...

For more than two generations, W. V. Quine has contributed fundamentally to the substance, the pedagogy, and the philosophy of mathematical logic. ...

Kurt Godel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Godel fled Nazi Germany, fearing for his...

Praise for the First Edition "... complete, up-to-date coverage of computational complexity theory...the book promises to become the standard refer...

Quiz your family at home with crosswords, puzzles and games. For anyone who loves the challenge of Su Doku but manages to solve them with...