Interactive Theorem Proving, Matt Kaufmann; Lawrence C. Paulson

Автор: Blanchette
Название: Interactive Theorem Proving
ISBN: 3319431439 ISBN-13(EAN): 9783319431437
Издательство: Springer
Рейтинг:
Цена: 10342.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.

Автор: 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.

Автор: Otmane Ait Mohamed; C?sar Munoz; Sofi?ne Tahar
Название: Theorem Proving in Higher Order Logics
ISBN: 3540710655 ISBN-13(EAN): 9783540710653
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.

Автор: Heck Richard G
Название: Frege`s Theorem
ISBN: 019870898X ISBN-13(EAN): 9780198708988
Издательство: Oxford Academ
Рейтинг:
Цена: 3879.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy.