Recursion-Theoretic Hierarchies, Hinman

Автор: Atkinson
Название: Theoretical Numerical Analysis
ISBN: 1441904573 ISBN-13(EAN): 9781441904577
Издательство: Springer
Рейтинг:
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book prepares graduate students for research in numerical analysis/computational mathematics by giving a mathematical framework embedded in functional analysis and focused on numerical analysis. This helps them to move rapidly into a research program.

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

Описание: An introduction to recursion theory that will prepare the reader for the study of advanced monographs and the current literature on the topic. The clarity and focus of this text makes it an ideal instrument for teaching and self-study.

Автор: Barwise
Название: Model-Theoretic Logics
ISBN: 1107168252 ISBN-13(EAN): 9781107168251
Издательство: Cambridge Academ
Рейтинг:
Цена: 30096.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this volume the authors bring together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers on advanced topics in model theory. Many chapters can be read independently.

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

Описание: This introduction to higher recursion theory is essential reading for all researchers in the field. It is divided into four parts: hyperarithmetic sets, metarecursion, -recursion, and E-recursion.

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

Описание: This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of 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.