» książki » Mathematics - Logic
 |
Recursion Theory
ISBN: 9781107168084 / Angielski / Twarda / 92 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A clear and focused introduction to recursion theory that is ideal for teaching and self-study.
A clear and focused introduction to recursion theory that is ideal for teaching and self-study.
|
cena:
534,18 |
 |
Fundamentals of Stability Theory
ISBN: 9781107168091 / Angielski / Twarda / 461 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces first order stability theory, organized around the spectrum problem, with complete proofs of the Vaught conjecture for omega-stable theories.
This book introduces first order stability theory, organized around the spectrum problem, with complete proofs of the Vaught conjecture for omega-stab...
|
cena:
705,51 |
 |
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:
538,81 |
 |
Recursion-Theoretic Hierarchies
ISBN: 9781107168244 / Angielski / Twarda / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
|
cena:
705,51 |
 |
Model-Theoretic Logics
ISBN: 9781107168251 / Angielski / Twarda / 911 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book brings together several directions of work in model theory between the late 1950s and early 1980s.
This book brings together several directions of work in model theory between the late 1950s and early 1980s.
|
cena:
923,14 |
 |
Admissible Sets and Structures
ISBN: 9781107168336 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
|
cena:
626,79 |
 |
Essential Stability Theory
ISBN: 9781107168398 / Angielski / Twarda / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume bridges the gap between a first-year graduate logic course and research papers in stability theory.
This volume bridges the gap between a first-year graduate logic course and research papers in stability theory.
|
cena:
626,79 |
 |
Metamathematics of First-Order Arithmetic
ISBN: 9781107168411 / Angielski / Twarda / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
A much-needed monograph on the metamathematics of first-order arithmetic, paying particular attention to fragments of Peano arithmetic.
|
cena:
705,51 |
 |
Higher Recursion Theory
ISBN: 9781107168435 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
|
cena:
636,05 |
 |
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:
538,81 |
 |
Logic Colloquium '90: ASL Summer Meeting in Helsinki
ISBN: 9781107169029 / Angielski / Twarda / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.
Proceedings of the Association for Symbolic Logic meeting held in Helsinki, Finland, in 1990, containing eighteen papers by leading researchers.
|
cena:
515,66 |
 |
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:
538,81 |
 |
Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
ISBN: 9781848902367 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.
Both deductive and non-deductive consequence are discussed. The starting point is classical... The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficu... |
cena:
84,67 |
 |
Die Gödel'schen Unvollständigkeitssätze: Eine Geführte Reise Durch Kurt Gödels Historischen Beweis
ISBN: 9783662542996 / Niemiecki / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Jahr 1931 erschien im Monatsheft fur Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Godel zwei Unvollstandigkeitssatze bewiesen, die unseren Blick auf die Mathematik von Grund auf verandert haben. Godels Satze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht uberwinden konnen. Die Mathematik fugt sich in kein formales Korsett. Seit ihrer Entdeckung sind die...Im Jahr 1931 erschien im Monatsheft fur Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Uber formal unentscheidbare Sat... |
cena:
188,08 |
 |
Mathematical Formulae
ISBN: 9783943334074 / Angielski / Miękka / 830 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder λ (type abstraction), and (some of) the means necessary for dependent types (dependent type theory). For more information, please see: http: //doi.org/10.4444/100.10 This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q... |
cena:
202,42 |
 |
Proper and Improper Forcing
ISBN: 9781107168367 / Angielski / Twarda / 1066 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifth publication in the Perspectives in Logic series, studies set-theoretic independence results (independence from the usual set-theoretic ZFC axioms), in particular for problems on the continuum. The author gives a complete presentation of the theory of proper forcing and its relatives, starting from the beginning and avoiding the...
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the orig...
|
cena:
839,79 |
 |
Relational and Algebraic Methods in Computer Science: 16th International Conference, Ramics 2017, Lyon, France, May 15-18, 2017, Proceedings
ISBN: 9783319574172 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2016.
The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held ...
|
cena:
201,24 |
 |
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:
538,81 |
 |
Modeling and Using Context: 10th International and Interdisciplinary Conference, Context 2017, Paris, France, June 20-23, 2017, Proceedings
ISBN: 9783319578361 / Angielski / Miękka / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in Paris, France, in June 2017.The 26 full papers and 15 short papers presented were carefully reviewed and selected from 88 submissions.
This book constitutes the proceedings of the 10th International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2017, held in ...
|
cena:
201,24 |
 |
Ifcolog Journal of Logics and their Applications. Hilbert's epsilon and tau in Logic, Informatics and Linguistics: Volume 4, Number 2, March 2017
ISBN: 9781848902343 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
cena:
78,32 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
