Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way (Bog, Hardback, Engelsk)These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's separation theorem for analytic sets. A first course in mathematical logic and set theory is assumed, making this book suitable for advanced students and researchers.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Theory of Fields (Bog, Hardback, Engelsk)The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Recursion Theory (Bog, Hardback, Engelsk)An introduction to recursion theory that will prepare the reader for the study of advanced monographs and the current literature on the topic. The clarity and focus of this text makes it an ideal instrument for teaching and self-study.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
General Recursion Theory: An Axiomatic Approach (Bog, Hardback, Engelsk)This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Higher Recursion Theory (Bog, Hardback, Engelsk)This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, a-recursion, and E-recursion.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Fine Structure and Iteration Trees (Bog, Hardback, Engelsk)Mitchell and Steel construct an inner model with a Woodin cardinal and develop its fine structure theory using the theory of iteration trees. This work builds upon the existing theory of a model of the form L[E], where E is a coherent sequence of extenders.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Lectures on Infinitary Model Theory (Bog, Hardback, Engelsk)This book is the first modern introduction to the logic of infinitary languages in forty years, and is aimed at graduate students and researchers in all areas of... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Proof Analysis: A Contribution to Hilbert's Last Problem (Bog, Paperback / softback, Engelsk)A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Alan M. Turing: Centenary Edition (Bog, Paperback / softback, Engelsk)To commemorate the centenary of Turing's birth, this republication of his mother's biography contains a new foreword by Martin Davis and a never-before-published memoir... Læs mere
Levering: 6 - 9 hverdage -
Bemærk: Kan ikke leveres før jul.
The History of Mathematical Proof in Ancient Traditions (Bog, Paperback / softback, Engelsk)This radical volume explores the purposes and nature of proof in a range of historical settings, overturning the view that the first mathematical... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Kurt Godel: Essays for his Centennial (Bog, Paperback / softback, Engelsk)Papers examining aspects of Godel's work gathered from a symposium celebrating Gödel's centennial and papers from a 2004 ASL symposium.
Levering: Print on Demand (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logic Colloquium 2007 (Bog, Paperback / softback, Engelsk)The Annual European Meeting of the Association for Symbolic Logic is among the most prestigious annual meetings in the field. Logic Colloquium 2007, with contributions from plenary... Læs mere
Levering: Print on Demand (forvent 14 - 30 hverdage)
