Séries : livres de la série de Gruyter Logic and Its Applications

Tous les livres de la série de Gruyter Logic and Its Applications

12 résultats

Trier par

Recursion Theory and Complexity
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 2
- No detailed description available for "Recursion Theory and Complexity". Savoir plus
360,95 €

Livraison 2 à 3 semaines

supprimer
360,95 €

Livraison 2 à 3 semaines
Recursion Theory

Chi Tat Chong, Liang Yu
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 8
- This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the ... Savoir plus
402,95 €

Livraison 2 à 3 semaines

supprimer
402,95 €

Livraison 2 à 3 semaines
The Ultrapower Axiom

Gabriel Goldberg
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 10
- The book is about strong axioms of infi nity in set theory (also known as large cardinal axioms), and the ongoing search for natural models of these a... Savoir plus
435,45 €

Livraison 2 à 3 semaines

supprimer
435,45 €

Livraison 2 à 3 semaines
Inner Models and Large Cardinals

Martin Zeman
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 5
- This volume is an introduction to inner model theory, an area of set theory which is concerned with fine structural inner models reflecting large card... Savoir plus
428,95 €

Livraison 2 à 3 semaines

supprimer
428,95 €

Livraison 2 à 3 semaines
Model Theory of Operator Algebras
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 11
- Continuous model theory is an extension of classical first order logic which is best suited for classes of structures which are endowed with a metric.... Savoir plus
386,95 €

Livraison 2 à 3 semaines

supprimer
386,95 €

Livraison 2 à 3 semaines
The Determinacy of Long Games

Itay Neeman
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 7
- In this volume the author develops and applies methods for proving, from large cardinals, the determinacy of definable games of countable length on na... Savoir plus
406,45 €

Livraison 2 à 3 semaines

supprimer
406,45 €

Livraison 2 à 3 semaines
Aspects of Complexity
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 4
- The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational Algebra. ... Savoir plus
248,45 €

Livraison 2 à 3 semaines

supprimer
248,45 €

Livraison 2 à 3 semaines
Fine Structure and Class Forcing

Sy D Friedman
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 3
- No detailed description available for "Fine Structure and Class Forcing". Savoir plus
338,45 €

Livraison 2 à 3 semaines

supprimer
338,45 €

Livraison 2 à 3 semaines
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal

W Hugh Woodin
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 1
- The starting point for this monograph is the previously unknown connection between the Continuum Hypothesis and the saturation of the non-stationary i... Savoir plus
628,45 €

Livraison 2 à 3 semaines

supprimer
628,45 €

Livraison 2 à 3 semaines
Automatic Complexity

Bjørn Kjos-Hanssen
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 12
- Automatic complexity is a computable and visual form of Kolmogorov complexity. Introduced by Shallit and Wang in 2001, it replaces Turing machines by ... Savoir plus
315,95 €

Livraison 2 à 3 semaines

supprimer
315,95 €

Livraison 2 à 3 semaines
One Hundred Years of Russell´s Paradox
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 6
- The papers collected in this volume represent the main body of research arising from the International Munich Centenary Conference in 2001, which comm... Savoir plus
517,45 €

Livraison 2 à 3 semaines

supprimer
517,45 €

Livraison 2 à 3 semaines
Ordinal Computability

Merlin Carl
- Livre relié | Anglais | de Gruyter Logic and Its Applications | n° 9
- Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to tran... Savoir plus
246,45 €

Livraison 2 à 3 semaines

supprimer
246,45 €

Livraison 2 à 3 semaines