Mathematical Foundations

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical l...

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical develo...

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicabili...

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic...

Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of fundamental compu...

This book introduces a new research direction in set theory: the study of models of set theory with respect to their extensional overlap or disagre...

Practical Handbook of Genetic Algorithms, Volume 3: Complex Coding Systems contains computer-code examples for the development of genetic algorithm...

The Handbook of Data Structures and Applications was first published over a decade ago. This second edition aims to update the first by focusing on...

This book focuses on image based security techniques, namely visual cryptography, watermarking, and steganography. This book is divided into four s...

When we learn, we change what we believe and how we interact with the world. This changes who we are as people and what we can achieve. M...

Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathemati...

Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of fundamental compu...

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

Unmatched: 50 Years of Supercomputing: A Personal Journey Accompanying the Evolution of a Powerful ToolThe rapid and extraordinary progress of supe...

Unmatched: 50 Years of Supercomputing: A Personal Journey Accompanying the Evolution of a Powerful ToolThe rapid and extraordinary progress of supe...

Explains how scientists who study complexity are convinced that certain constant processes are at work in all kinds of unrelated complex systems.

This is a book about infinity — specifically the infinity of numbers, and how one kind of infinity is greater than all the rest. Along the way the ...

Master maths topics with ease Subject: Maths Type: Revision & Practice Ages: 9-10   Help you...

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle’s syllogism ...

  Master addition and subtraction with fun and engaging activities. This workbook for ages 5-7 helps to break down the skills childre...

First published in English in 1966, Essays in Analysis addresses the problems in logic and foundations of mathematics, metaphysics, and epistemolog...

Ride along with trucker Jill and her dog as they add up the animals zooming by. But these are no ordinary animals, and they're bound for a surprise...

Offering a bold new vision on the history of modern logic, Lukas M. Verburgt and Matteo Cosci focus on the lasting impact of Aristotle’s syllogism ...

Naïve Set Theory: A Rigorous Approach aims to provide a complete and unitary presentation of naive set theory as the foundation of the whole mathem...

A Beginner’s Guide to Mathematical Proof prepares mathematics majors for the transition to abstract mathematics, as well as introducing a wider rea...

A Beginner’s Guide to Mathematical Proof prepares mathematics majors for the transition to abstract mathematics, as well as introducing a wider rea...

The International research Library of Philosophy collects in book form a wide range of important and influential essays in philosophy, drawn predom...

Subject: Mental Maths Type: Workbook Ages: 5-7 This workbook helps to break down the skills children need to mas...

Celebrating the work of world-renowned mathematician Sam B. Nadler, Jr., this reference examines the most recent advances in the analysis of contin...

"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth L...

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory,...

Poised to become the leading reference in the field, the Handbook of Finite Fields is exclusively devoted to the theory and applications of finite ...

This richly illustrated book provides step-by-step instructions for the construction of over 30 different modular origami structures. The author de...

Teach Your Students Both the Mathematics of Numerical Methods and the Art of Computer ProgrammingIntroduction to Computational Linear Algebra prese...