Mathematical Logic

Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary obje...

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transit...

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence ...

Questo libro ha lo scopo di fornire unampia riflessione sui principi generali della fisica e gli elementi fondanti della conoscenza scientifica nel...

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, col...

Incompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit ...

Fascinating details and anecdotes accompany this engaging account of the emergence of dramatic new ideas and forms in music over the centuries... ...

This edited volume brings together papers by both eminent and rising scholars to celebrate Saul Kripkes singular contributions to modal logic. Krip...

STEP ASIDE MURDLE BECAUSE GCHQ ARE BACK WITH EVEN MORE BRAIN-BENDING PUZZLES TO PUT YOUR WITS TO THE TEST, PRE-ORDER THE PAPERBACK NOW-------------...

In 1931, the mysterious-sounding article On Formally Undecidable Propositions of Principia Mathematica and Related Systems I shook the mathematical...

Challenge yourself with number puzzles 200 mathematical logic puzzles to test your mental dexterity with this collection from ...

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics...

In Single Digits, Marc Chamberland takes readers on a fascinating exploration of small numbers, from one to nine, looking at their history, applica...

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the pub...

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the pub...

'An invaluable companion for anyone who wants a deep understanding of whats under the hood of often inscrutable machines' Melanie Mitchell A rich,...

This book reveals how statistics and probability are fundamental to our everyday life from advertisements to public-opinion polls, weather forecas...

Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the...

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