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

Institution-independent Model Theory, Razvan Diaconescu


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

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

Автор: Razvan Diaconescu
Название:  Institution-independent Model Theory
ISBN: 9783764387075
Издательство: Springer
Классификация:

ISBN-10: 3764387076
Обложка/Формат: Paperback
Страницы: 376
Вес: 0.77 кг.
Дата издания: 16.05.2008
Серия: Studies in Universal Logic
Язык: English
Размер: 236 x 168 x 20
Основная тема: Mathematics
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book develops model theory independently of any concrete logical system or structure, within the abstract category-theoretic framework of the so called `institution theory`. The development includes most of the important methods and concepts of conventional concrete model theory at the abstract institution-independent level.


Finite Model Theory

Название: Finite Model Theory
ISBN: 3540287876 ISBN-13(EAN): 9783540287872
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.

Model Theory

Автор: Hodges
Название: Model Theory
ISBN: 0521066360 ISBN-13(EAN): 9780521066365
Издательство: Cambridge Academ
Рейтинг:
Цена: 11563.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide range of other areas such as set theory, geometry, algebra and computer science. This book provides an integrated introduction to model theory for graduate students.

Model Theory of Fields

Автор: Marker
Название: Model Theory of Fields
ISBN: 1107168074 ISBN-13(EAN): 9781107168077
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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 of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.

Lectures on Infinitary Model Theory

Автор: Marker
Название: Lectures on Infinitary Model Theory
ISBN: 1107181933 ISBN-13(EAN): 9781107181939
Издательство: Cambridge Academ
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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 mathematical logic. Connections between infinitary model theory and other branches of mathematical logic, and applications to algebra and algebraic geometry are both comprehensively explored.

Set Theory and Model Theory

Автор: R.B. Jensen; A. Prestel
Название: Set Theory and Model Theory
ISBN: 3540108491 ISBN-13(EAN): 9783540108498
Издательство: Springer
Рейтинг:
Цена: 3487.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Course on basic model theory

Автор: Sarbadhikari, Haimanti Srivastava, Shashi Mohan
Название: Course on basic model theory
ISBN: 981105097X ISBN-13(EAN): 9789811050978
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory.

Model Theory and Arithmetic

Автор: C. Berline; K. McAloon; J.-P. Ressayre
Название: Model Theory and Arithmetic
ISBN: 354011159X ISBN-13(EAN): 9783540111597
Издательство: Springer
Рейтинг:
Цена: 5583.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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