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

Classical Recursion Theory,, P. Odifreddi



Варианты приобретения
Цена: 8657р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 28 июл 2022
Ориентировочная дата поставки: Август
При условии наличия книги у поставщика.

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

Автор: P. Odifreddi
Название:  Classical Recursion Theory,
ISBN: 9780444894830
Издательство: Elsevier Science
Классификация:
ISBN-10: 0444894837
Обложка/Формат: Paperback
Вес: 0.968 кг.
Дата издания: 04.02.1992
Серия: Studies in logic and the foundations of mathematics
Язык: English
Издание: New ed
Иллюстрации: Black & white illustrations
Размер: 157 x 236 x 37
Читательская аудитория: Professional & vocational
Подзаголовок: The theory of functions and sets of natural numbers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии



Problems and Theorems in Classical Set Theory

Автор: Komj?th
Название: Problems and Theorems in Classical Set Theory
ISBN: 038730293X ISBN-13(EAN): 9780387302935
Издательство: Springer
Рейтинг:
Цена: 6929 р.
Наличие на складе: Поставка под заказ.

Описание: This volume contains a variety of problems from classical set theory. Many of these problems are also related to other fields of mathematics, including algebra, combinatorics, topology and real analysis. The problems vary in difficulty, and are organized in such a way that earlier problems help in the solution of later ones. For many of the problems, the authors also trace the history of the problems and then provide proper reference at the end of the solution.

Classical Recursion Theory, Volume II,

Автор: P. Odifreddi
Название: Classical Recursion Theory, Volume II,
ISBN: 044450205X ISBN-13(EAN): 9780444502056
Издательство: Elsevier Science
Рейтинг:
Цена: 16517 р.
Наличие на складе: Поставка под заказ.

Описание: Describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. This book presents a detailed picture of the computable sets from the perspective of theoretical computer science. It is suitable for those interested in complexity and computability theory.

Higher Recursion Theory

Автор: Sacks
Название: Higher Recursion Theory
ISBN: 1107168430 ISBN-13(EAN): 9781107168435
Издательство: Cambridge Academ
Рейтинг:
Цена: 16160 р.
Наличие на складе: Поставка под заказ.

Описание: 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 second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, ?-recursion, and E-recursion. This text is essential reading for all researchers in the field.

General Recursion Theory

Автор: Fenstad
Название: General Recursion Theory
ISBN: 1107168163 ISBN-13(EAN): 9781107168169
Издательство: Cambridge Academ
Рейтинг:
Цена: 13694 р.
Наличие на складе: Поставка под заказ.

Описание: 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. In this volume, the tenth publication in the Perspectives in Logic series, Jens E. Fenstad takes an axiomatic approach to present a unified and coherent account of the many and various parts of general recursion theory. The main core of the book gives an account of the general theory of computations. The author then moves on to show how computation theories connect with and unify other parts of general recursion theory. Some mathematical maturity is required of the reader, who is assumed to have some acquaintance with recursion theory. This book is ideal for a second course in the subject.

Ordinal Definability and Recursion Theory

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

Описание: The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. Focusing on the subjects of 'HOD and its Local Versions' (Part V) and 'Recursion Theory' (Part VI), each of the two sections is preceded by an introductory survey putting the papers into present context. These four volumes will be a necessary part of the book collection of every set theorist.

Classical Descriptive Set Theory

Автор: Kechris
Название: Classical Descriptive Set Theory
ISBN: 0387943749 ISBN-13(EAN): 9780387943749
Издательство: Springer
Рейтинг:
Цена: 6924 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the different traditions of the subject. It includes a wide variety of examples, exercises (over 400), and applications, in order to illustrate the general concepts and results of the theory.
This text provides a first basic course in classical descriptive set theory and covers material with which mathematicians interested in the subject for its own sake or those that wish to use it in their field should be familiar. Over the years, researchers in diverse areas of mathematics, such as logic and set theory, analysis, topology, probability theory, etc., have brought to the subject of descriptive set theory their own intuitions, concepts, terminology and notation.

A Guide to Classical and Modern Model Theory

Автор: Marcja Annalisa, Toffalori Carlo
Название: A Guide to Classical and Modern Model Theory
ISBN: 1402013310 ISBN-13(EAN): 9781402013317
Издательство: Springer
Рейтинг:
Цена: 12126 р.
Наличие на складе: Поставка под заказ.

Описание: Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of Mathematics. It is a lively and fertile research area which deserves the attention of the mathematical world.This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -gives a terse historical picture of Model Theory; -introduces the latest developments in the area; -provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.

Recursion-Theoretic Hierarchies

Автор: Hinman
Название: Recursion-Theoretic Hierarchies
ISBN: 1107168244 ISBN-13(EAN): 9781107168244
Издательство: Cambridge Academ
Рейтинг:
Цена: 17804 р.
Наличие на складе: Поставка под заказ.

Описание: 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. The theory set out in this volume, the ninth publication in the Perspectives in Logic series, is the result of the meeting and common development of two currents of mathematical research: descriptive set theory and recursion theory. Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here. The author develops a general theory from which the results of both areas can be derived, making these common threads clear.

Recursion Theory

Автор: Shoenfield
Название: Recursion Theory
ISBN: 1107168082 ISBN-13(EAN): 9781107168084
Издательство: Cambridge Academ
Рейтинг:
Цена: 13009 р.
Наличие на складе: Поставка под заказ.

Описание: 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. In this volume, the first publication in the Lecture Notes in Logic series, Shoenfield gives a clear and focused introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. This introduction is an ideal instrument for teaching and self-study that prepares the reader for the study of advanced monographs and the current literature on recursion theory.

Recursion Theory and Computational Complexity

Автор: Lolli
Название: Recursion Theory and Computational Complexity
ISBN: 3642110711 ISBN-13(EAN): 9783642110719
Издательство: Springer
Рейтинг:
Цена: 4037 р.
Наличие на складе: Поставка под заказ.

Описание: S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.

Mathematical logic recursion theory, godel`s theorem, set theory and model theory

Автор: Cori, Rene Lascar, D.
Название: Mathematical logic recursion theory, godel`s theorem, set theory and model theory
ISBN: 0198500505 ISBN-13(EAN): 9780198500506
Издательство: Oxford Academ
Рейтинг:
Цена: 10408 р.
Наличие на складе: Поставка под заказ.

Описание: The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students study. Assuming no prior knowledge of the topic, this book provides an introduction for advanced undergraduate students. The concept of model underlies the text, giving it a theoretical coherence.

The Theory of Classical Valuations

Автор: Ribenboim
Название: The Theory of Classical Valuations
ISBN: 0387985255 ISBN-13(EAN): 9780387985251
Издательство: Springer
Рейтинг:
Цена: 19056 р.
Наличие на складе: Поставка под заказ.

Описание: Kurschak formally introduced the concept of a valuation of a field, as being real valued functions on the set of non-zero elements of the field satisfying certain properties, like the p-adic valuations. Ostrowski, Hasse, Schmidt and others developed this theory. These are the topics which are the object of this book.


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