Frege`s Theorem, Heck Richard G

Автор: Heck, Jr., Richard G.
Название: Reading Frege`s Grundgesetze
ISBN: 0199233705 ISBN-13(EAN): 9780199233700
Издательство: Oxford Academ
Рейтинг:
Цена: 7918.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Richard G. Heck presents a new account of Gottlob Frege`s Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, which establishes it as a neglected masterpiece at the center of Frege`s philosophy. He explores Frege`s philosophy of logic, and argues that Frege knew that his proofs could be reconstructed so as to avoid Russell`s Paradox.

Автор: Landini
Название: Frege`s Notations
ISBN: 0230247741 ISBN-13(EAN): 9780230247741
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A new approach to reading Frege`s notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege`s notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.

Автор: Berto
Название: There`s Something About Godel - The Complete Guide to the Incompleteness Theorem
ISBN: 1405197668 ISBN-13(EAN): 9781405197663
Издательство: Wiley
Рейтинг:
Цена: 13456.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: There`s Something About Godel is a lucid and accessible guide to Godel`s revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem.

Автор: Matt Kaufmann; Lawrence C. Paulson
Название: Interactive Theorem Proving
ISBN: 3642140513 ISBN-13(EAN): 9783642140518
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

Автор: Salomaa A Et Al
Название: Chinese Remainder Theorem: Applications In Computing, Coding, Cryptography
ISBN: 9810228279 ISBN-13(EAN): 9789810228279
Издательство: World Scientific Publishing
Рейтинг:
Цена: 13147.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Chinese remainder theorem continues to present itself in fresh contexts and open vistas for new types of applications. This book tells about CRT, its background and philosophy, history, generalizations and, most importantly, its applications.