Mathematical Logic

Descent in Buildings begins with the resolution of a major open question about the local structure of Bruhat-Tits buildings. The authors then put t...

This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark th...

This book presents further developments and applications in the area of completely regular semigroup theory, beginning with applications of Poláks ...

...The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, res...

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a sol...

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures that are critical for a sol...

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some ...

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to form...

Introducing the Collins Modern Classics, a series featuring some of the most significant books of recent times, books that shed light ...

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic w...

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

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

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...