Constructive Mathematics, F. Richman

Автор: Harold M. Edwards
Название: Essays in Constructive Mathematics
ISBN: 1489990186 ISBN-13(EAN): 9781489990181
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contents and treatment are fresh and very different from the standard treatmentsPresents a fully constructive version of what it means to do algebraThe exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader

Автор: Anna Horsk?
Название: Where is the G?del-point hiding: Gentzen`s Consistency Proof of 1936 and His Representation of Constructive Ordinals
ISBN: 3319021702 ISBN-13(EAN): 9783319021706
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explains the first published consistency proof of PA. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert`s program and who do not mind reading mathematical texts.ГЇВїВЅ

Автор: Giovanni Sommaruga
Название: Foundational Theories of Classical and Constructive Mathematics
ISBN: 9400735618 ISBN-13(EAN): 9789400735613
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.

Автор: Peter Schuster; Ulrich Berger; Horst Osswald
Название: Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
ISBN: 9048158850 ISBN-13(EAN): 9789048158850
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999

Автор: Nicolas Clerbout; Shahid Rahman
Название: Linking Game-Theoretical Approaches with Constructive Type Theory
ISBN: 3319190628 ISBN-13(EAN): 9783319190624
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies.

Автор: Ershov, I?U?rii? Leonidovich.
Название: Constructive models /
ISBN: 0306110660 ISBN-13(EAN): 9780306110665
Издательство: Springer
Рейтинг:
Цена: 306530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work gives an exposition of the modern theory of constructive models and describes methods and approaches developed by representatives of the Siberian school of algebra and logic and some other researchers (in particular, Nerode and his colleagues).

Автор: E. Bishop; Douglas Bridges
Название: Constructive Analysis
ISBN: 364264905X ISBN-13(EAN): 9783642649059
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work grew out of Errett Bishop`s fundamental treatise `Founda- tions of Constructive Analysis` (FCA), which appeared in 1967 and which contained the bountiful harvest of a remarkably short period of research by its author.