Mathematical Logic

The first book surveying the history and ideas behind reverse mathematicsReverse mathematics is a new field that seeks to find the axioms needed to...

Guides Students in Understanding the Interactions between Computing/Networking Technologies and Security Issues Taking an interactive, learn-by-doi...

Fundamentals of Linear Algebra is like no other book on the subject. By following a natural and unified approach to the subject it has, in less tha...

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathemat...

What is the shortest possible route for a traveling salesman seeking to visit each city on a list exactly once and return to his city of origin? It...

How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proofone...

Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture referenc...

Ultrafilters and ultraproducts provide a useful generalization of the ordinary limit processes which have applications to many areas of mathematics...

Ultrafilters and ultraproducts provide a useful generalization of the ordinary limit processes which have applications to many areas of mathematics...

Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900 at the International Congress of Mathematicians in Paris. These pro...

Cryptology: Classical and Modern, Second Edition proficiently introduces readers to the fascinating field of cryptology. The book covers classical ...

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

Going beyond current books on privacy and security, Unauthorized Access: The Crisis in Online Privacy and Security proposes specific solutions to p...

Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-bre...

Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods some old, some new that...

A Waterstones Best Popular Science Book of 2023'Delightfully clear and vivid to read...A splendid book! Philip Pullman'Absolutely fascinating' Jame...

This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reve...

Set theory is the mathematics of infinity and part of the core curriculum for mathematics majors. This book blends theory and connections with othe...

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer...

This text organizes a range of results in chromatic homotopy theory, running a single thread through theorems in bordism and a detailed understandi...

This book provides an argumentation model for means end-reasoning, a distinctive type of reasoning used for problem-solving and decision-making. Me...

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, compl...

Many physical, chemical, biomedical, and technical processes can be described by partial differential equations or dynamical systems. In spite of i...