Автор: E. Bishop; Douglas Bridges Название: Constructive Analysis ISBN: 364264905X ISBN-13(EAN): 9783642649059 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: F. Richman Название: Constructive Mathematics ISBN: 3540108505 ISBN-13(EAN): 9783540108504 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Nicolas Clerbout; Shahid Rahman Название: Linking Game-Theoretical Approaches with Constructive Type Theory ISBN: 3319190628 ISBN-13(EAN): 9783319190624 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Sergei Odintsov Название: Constructive Negations and Paraconsistency ISBN: 9048177448 ISBN-13(EAN): 9789048177448 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
Автор: Giovanni Sommaruga Название: History and Philosophy of Constructive Type Theory ISBN: 9048154030 ISBN-13(EAN): 9789048154036 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.
Автор: Harold M. Edwards Название: Essays in Constructive Mathematics ISBN: 1489990186 ISBN-13(EAN): 9781489990181 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Автор: Ershov, I?U?rii? Leonidovich. Название: Constructive models / ISBN: 0306110660 ISBN-13(EAN): 9780306110665 Издательство: Springer Рейтинг: Цена: 45979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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).
Описание: 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.ГЇВїВЅ
Автор: F.L. Bauer; Manfred Broy; M. Broy; E.W. Dijkstra; Название: Constructive Methods in Computing Science ISBN: 3642748864 ISBN-13(EAN): 9783642748868 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988
Описание: This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to G del's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
