» książki » Mathematics - Logic
topmenu
 |
Bounded Variable Logics and Counting: A Study in Finite Models
ISBN: 9781107167940 / Angielski / Twarda / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.
This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.
|
cena:
536,63 |
 |
The Core Model Iterability Problem
ISBN: 9781107167964 / Angielski / Twarda / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.
Suitable for graduate students and researchers in set theory, this volume develops a method for constructing core models that have Woodin cardinals.
|
cena:
536,63 |
 |
General Recursion Theory: An Axiomatic Approach
ISBN: 9781107168169 / Angielski / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a unified and coherent account of the many and various parts of general recursion theory.
This volume presents a unified and coherent account of the many and various parts of general recursion theory.
|
cena:
536,63 |
 |
Computability in Analysis and Physics
ISBN: 9781107168442 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning.
The first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning.
|
cena:
536,63 |
 |
Fine Structure and Iteration Trees
ISBN: 9781107169098 / Angielski / Twarda / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees.
This book constructs an inner model with a Woodin cardinal and develops its fine structure theory using the theory of iteration trees.
|
cena:
536,63 |
 |
Degrees of Unsolvability: Local and Global Theory
ISBN: 9781107168138 / Angielski / Twarda / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a systematic study of the interaction between local and global degree theory.
This volume presents a systematic study of the interaction between local and global degree theory.
|
cena:
536,63 |
 |
Abstract Recursion and Intrinsic Complexity
ISBN: 9781108415583 / Angielski / Twarda / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
536,63 |
 |
Justification Logic: Reasoning with Reasons
ISBN: 9781108424912 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
536,63 |
 |
Entropy and Diversity: The Axiomatic Approach
ISBN: 9781108832700 / Angielski / Twarda / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
536,63 |
 |
Forcing Idealized
ISBN: 9780521874267 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book unites descriptive set theory and definable proper forcing and explores the relations between them. Both forcing and descriptive set theory are explained independently, their sub-areas described, following their commitment to each other. Containing original research, this text highlights the connections that forcing makes with other areas of mathematics, and is essential reading for academic researchers and graduate students in set theory, abstract analysis, and measure theory.
This book unites descriptive set theory and definable proper forcing and explores the relations between them. Both forcing and descriptive set theory ...
|
cena:
536,63 |
 |
Noncommutative Rational Series with Applications
ISBN: 9780521190220 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The algebraic theory of automata was created by Schutzenberger and Chomsky over 50 years ago and there has since been a great deal of development. Classical work on the theory to noncommutative power series has been augmented more recently to areas such as representation theory, combinatorial mathematics and theoretical computer science. This book presents to an audience of graduate students and researchers a modern account of the subject and its applications. The algebraic approach allows the theory to be developed in a general form of wide applicability. For example, number-theoretic...
The algebraic theory of automata was created by Schutzenberger and Chomsky over 50 years ago and there has since been a great deal of development. Cla...
|
cena:
536,63 |
 |
Infinity: New Research Frontiers
ISBN: 9781107003873 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The infinite No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite. David Hilbert This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world renowned researchers in the fields of mathematics, physics,...
The infinite No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other...
|
cena:
536,63 |
 |
A General Algebraic Semantics for Sentential Logics
ISBN: 9781107167971 / Angielski / Twarda / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
An exposition of the approach to the algebraization of sentential logics developed by the Barcelona logic group.
|
cena:
536,63 |
 |
Model Theory of Fields
ISBN: 9781107168077 / Angielski / Twarda / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the active area of the model theory of fields, concentrating on connections to stability theory.
This book introduces the active area of the model theory of fields, concentrating on connections to stability theory.
|
cena:
536,63 |
 |
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way
ISBN: 9781107168060 / Angielski / Twarda / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's separation theorem for analytic sets.
These notes develop the theory of descriptive sets, leading up to a new proof of Louveau's separation theorem for analytic sets.
|
cena:
536,63 |
 |
The Covering Property Axiom, CPA: A Combinatorial Core of the Iterated Perfect Set Model
ISBN: 9780521839204 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book explores a new axiom of set theory--CPA, the Covering Property Axiom. CPA is consistent with the usual ZFC axioms. It is true in the iterated Sacks model and actually captures the combinatorial core of this model. A plethora of results known to be true in the Sacks model easily follow from CPA. Replacing iterated forcing arguments with deductions from CPAs simplifies proofs, provides deeper insight, and leads to new results. Researchers who use set theory in their work will find much of interest in this book.
This book explores a new axiom of set theory--CPA, the Covering Property Axiom. CPA is consistent with the usual ZFC axioms. It is true in the iterate...
|
cena:
536,63 |
 |
Hausdorff on Ordered Sets
ISBN: 9780821837887 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains translations of some of historically significant works in set theory, model theory, analysis and algebra. This book is suitable for graduate students and researchers interested in set theory and the history of mathematics.
Contains translations of some of historically significant works in set theory, model theory, analysis and algebra. This book is suitable for graduate ...
|
cena:
540,33 |
 |
Introduction to Fuzzy Logic
ISBN: 9781119772613 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
548,02 |
 |
Definition
ISBN: 9780198241607 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of this book is to clarify the concept of definition and improve defining activities.
The purpose of this book is to clarify the concept of definition and improve defining activities.
|
cena:
548,16 |
 |
Formale Logik: Logische Systeme. Einf?hrung in Die Metalogik
ISBN: 9783112708460 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
548,16 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
