Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Larisa Maksimova on Implication, Interpolation, and Definability, Sergei Odintsov


Варианты приобретения
Цена: 13974.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Sergei Odintsov
Название:  Larisa Maksimova on Implication, Interpolation, and Definability
ISBN: 9783319699165
Издательство: Springer
Классификация:




ISBN-10: 3319699164
Обложка/Формат: Hardcover
Страницы: 355
Вес: 0.74 кг.
Серия: Outstanding Contributions to Logic
Язык: English
Размер: 234 x 156 x 22
Основная тема: Philosophy
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

Chapter 1. Sergei Odintsov, Maksimova, Relevance and the Study of Lattices of Non-classical Logics

Chapter 2. Larisa Maksimova, A Short Scientific Autobiography

Chapter 3. Katalin Bimbo and J. Michael Dunn, Larisa Maksimovas Early Contributions to Relevance Logic

Chapter 4. Lev Beklemishev, A Note on Strictly Positive Logics and Word Rewriting Systems

Chapter 5. Alex Citkin, Characteristic Formulas over Intermediate Logics

Chapter 6. Alex Citkin, Criterion of Generelazed Disjunction Property

Chapter 7. Janusz Czelakowski, Rasiowa-Sikorski Sets and Forsing

Chapter 8. Giovanna DAgostino, -Levels of Interpolation

Chapter 9. Anastasia Karpenko, Decidability of Interpolation Properties for Weakly Transitive Modal Logics

Chapter 10. Alexei Muravitski, Lattice NExtS4 from the Embedding Theorem Viewpoint

Chapter 11. Vladimir Rybakov, Linear Temporal Logic with Non-Transitive Time, Algorithms for Decidability and Verification of Admissibility

Chapter 12. Dmitry Tishkovsky, On Algebraisation of Superintuitionistic Predicate Logics

Chapter 13. Valentin Shehtman, Segerberg Squares of Modal Logics and Theories of Relation Algebras

Chapter 14. Aleksandr Yashin, Dummett Logic, Irreflexive Modality, and Novikov Completeness

Chapter 15. Veta Yun, On Linear Logic of Knowledge and Time

Appendix: A Complete List of Larisa Maximovas Publications




Spline Functions and Multivariate Interpolations

Автор: Borislav D. Bojanov; H. Hakopian; B. Sahakian
Название: Spline Functions and Multivariate Interpolations
ISBN: 0792322290 ISBN-13(EAN): 9780792322290
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Spline functions entered Approximation Theory as solutions of natural extremal problems. The emphasis is given to some new developments, such as the general Birkoff`s type interpolation, the extremal properties of the splines and their prominant role in the optimal recovery of functions, multivariate interpolation by polynomials and splines.

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

Автор: G. Corsi; Igor Lavrov; Larisa Maksimova
Название: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
ISBN: 1461349575 ISBN-13(EAN): 9781461349570
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory.

Ordinal Definability and Recursion Theory

Автор: Kechris
Название: Ordinal Definability and Recursion Theory
ISBN: 1107033403 ISBN-13(EAN): 9781107033405
Издательство: Cambridge Academ
Рейтинг:
Цена: 26136.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Ordinal Definability and Recursion Theory is the third in a series of four books presenting the seminal papers from the Caltech-UCLA `Cabal Seminar` with extensive unpublished material, new papers on related topics, and discussion of research developments since the publication of the original volumes.

Definability and computability /

Автор: Ershov, I?U?rii? Leonidovich.
Название: Definability and computability /
ISBN: 0306110393 ISBN-13(EAN): 9780306110399
Издательство: Springer
Рейтинг:
Цена: 32004.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the G del incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.

Definitions and Definability: Philosophical Perspectives

Автор: J.H. Fetzer; D. Shatz; G. Schlesinger
Название: Definitions and Definability: Philosophical Perspectives
ISBN: 9401054789 ISBN-13(EAN): 9789401054782
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Interpolation Functors and Duality

Автор: Sten G. Kaijser; Joan w. Pelletier
Название: Interpolation Functors and Duality
ISBN: 3540167900 ISBN-13(EAN): 9783540167907
Издательство: Springer
Рейтинг:
Цена: 3492.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering

Автор: Larisa Angstenberger
Название: Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
ISBN: 9048157757 ISBN-13(EAN): 9789048157754
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering focuses on fuzzy clustering methods which have proven to be very powerful in pattern recognition and considers the entire process of dynamic pattern recognition.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия