Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Stable Domination and Independence in Algebraically Closed Valued Fields (Bog, Paperback / softback, Engelsk)This book addresses a gap in the model-theoretic understanding of valued fields that had limited the interactions of model theory with geometry. It contains significant developments in both pure and applied model theory.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Theory and Modules (Bog, Paperback / softback, Engelsk)The interplay between model theory and other branches of mathematics has led to intriguing results. In this book, the theme is the interplay between model theory and the theory... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic for Mathematicians (Bog, Paperback / softback, Engelsk)This is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Oligomorphic Permutation Groups (Bog, Paperback / softback, Engelsk)The study of permutations groups has always been closely associated with that of highly symmetric structures. The objects considered here are countably infinite, but have... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic and Computation: Interactive Proof with Cambridge LCF (Bog, Paperback / softback, Engelsk)A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Sets of Multiples (Bog, Hardback, Engelsk)The theory of sets of multiples, a subject which lies at the intersection of analytic and probabilistic number theory, has seen much development in recent years. The author gives a... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Boolean Function Complexity (Bog, Paperback / softback, Engelsk)Boolean function complexity has seen exciting advances in the last few years. It is a long established area of discrete mathematics which uses combinatorial and occasionally algebraic methods.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Bog, Hardback, Engelsk)A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Locally Presentable and Accessible Categories (Bog, Paperback / softback, Engelsk)The aim of this book is to provide an exposition of both the theory and the applications of these categories at a level accessible to graduate students. For researchers in category theory, algebra, computer science, and model theory, this book will be a necessary purchase.
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
Categories for Types (Bog, Hardback, Engelsk)This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Categories for Types (Bog, Paperback / softback, Engelsk)This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Logical Status of Diagrams (Bog, Hardback, Engelsk)Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
