Truth, Proof and Infinity, P. Fletcher

Автор: Barker-Plummer Dave
Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition
ISBN: 1575866323 ISBN-13(EAN): 9781575866321
Издательство: Wiley
Рейтинг:
Цена: 107010.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.

Автор: P. Fletcher
Название: Truth, Proof and Infinity
ISBN: 9048151058 ISBN-13(EAN): 9789048151059
Издательство: Springer
Рейтинг:
Цена: 181630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constructive mathematics is based on the thesis that the meaning of a mathematical formula is given, not by its truth-conditions, but in terms of what constructions count as a proof of it.

Автор: Huemer Michael
Название: Approaching Infinity
ISBN: 113756086X ISBN-13(EAN): 9781137560865
Издательство: Springer
Рейтинг:
Цена: 27940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters. The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity.

Автор: M. Huemer
Название: Approaching Infinity
ISBN: 1137560851 ISBN-13(EAN): 9781137560858
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters.The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity.