Free Delivery Over $100
12303 books were found.
Read More >>
The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected... Read More >>
This volume celebrates the 60th anniversary of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung... Read More >>
This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission... Read More >>
Questo primo ""capitolo"" della ""Trilogia del 7"" inizia con una parafrasi (o ""semicitazione"" come si usa dir... Read More >>
"Prof Dr Martin K Purvis spent most of his academic life with the Department of Information Science at the University... Read More >>
Knowledge of automata theory and formal languages is crucial for understanding human-computer interaction, as well... Read More >>
In this book Juliette Kennedy presents an original perspective on foundations of mathematics. Departing from Gödel... Read More >>
The text covers concepts of cyber security through quantum computing and quantum cryptography in a single volume.... Read More >>
The chapters combine to form a unique, interdisciplinary perspective, drawing upon George Ellis's extensive research... Read More >>
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians... Read More >>
This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets... Read More >>
This book furnishes a comprehensive treatment of differential... Read More >>
This guide provides a roadmap for students transitioning from an undergraduate mathematics curriculum and degree... Read More >>
This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory... Read More >>
This CoPart is a dual complement to Visual Category Theory Brick by Brick, Part 2. Read More >>
Presents the basic facts about ultrafilters and ultraproducts to readers with no prior knowledge of the subject.... Read More >>
"Dive into a world where arithmetic meets adventure! ""Navigating Numbers"" takes young explorers on a thrilling... Read More >>
An in-depth study of the concept of a consequence relation, culminating in the concept of a Lindenbaum-Tarski algebra,... Read More >>