Shopping Cart
itemsitem
The Categorial Analysis of Logic
A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturallyProceedings of the 12th Asian Logic Conference
The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.Contents:Resolute Sequences in Initial Segment Complexity (G Barmpalias and R G Downey)Approximating Functions andLeo Esakia on Duality in Modal and Intuitionistic Logics
Outstanding Contributions to Logic (Book #4)
This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia’s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.Beginning with aDevelopments from Turing's Ideas in Logic
Lecture Notes in Logic (Book #42)
Alan Turing was an inspirational figure who is now recognised as a genius of modern mathematics. In addition to leading the Allied forces' code-breaking effort at Bletchley Park in World War II, he proposed the theoretical foundations of modern computing and anticipated developments in areas from information theory to computer chess. His ideas have been extraordinarily influential in modernHandbook of Practical Logic and Automated Reasoning
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundationsMathematics, Computer Science and Logic - A Never Ending Story
The Bruno Buchberger Festschrift
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor ofA Categorical Approach to Order, Metric, and Topology
Encyclopedia of Mathematics and its Applications (Book #153)
Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafilter convergence with Lawvere's interpretation of metric spaces as small categories enriched over the extended real halfRepresentation Theory of Finite Groups
Concise, graduate-level exposition of the theory of finite groups, including the theory of modular representations. Topics include representation theory of rings with identity, representation theory of finite groups, applications of the theory of characters, construction of irreducible representations and modular representations. Rudiments of linear algebra and knowledge of group theory helpfulInduced Representations of Locally Compact Groups
Cambridge Tracts in Mathematics (Book #197)
The dual space of a locally compact group G consists of the equivalence classes of irreducible unitary representations of G. This book provides a comprehensive guide to the theory of induced representations and explains its use in describing the dual spaces for important classes of groups. It introduces various induction constructions and proves the core theorems on induced representations,The Riemann Hypothesis for Function Fields
Frobenius Flow and Shift Operators
London Mathematical Society Student Texts (Book #80)
This book provides a lucid exposition of the connections between non-commutative geometry and the famous Riemann Hypothesis, focusing on the theory of one-dimensional varieties over a finite field. The reader will encounter many important aspects of the theory, such as Bombieri's proof of the Riemann Hypothesis for function fields, along with an explanation of the connections with NevanlinnaUniform Central Limit Theorems
Cambridge Studies in Advanced Mathematics (Book #142)
In this new edition of a classic work on empirical processes the author, an acknowledged expert, gives a thorough treatment of the subject with the addition of several proved theorems not included in the first edition, including the Bretagnolle–Massart theorem giving constants in the Komlos–Major–Tusnady rate of convergence for the classical empirical process, Massart's form of the Dvoretzky