The Logic of Infinity, Sheppard

Автор: Graham Priest
Название: An Introduction to Non-Classical Logic
ISBN: 0521854334 ISBN-13(EAN): 9780521854337
Издательство: Cambridge Academ
Рейтинг:
Цена: 14890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues are explained.

Автор: Sheppard
Название: The Logic of Infinity
ISBN: 1107678668 ISBN-13(EAN): 9781107678668
Издательство: Cambridge Academ
Рейтинг:
Цена: 7762.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Few mathematical results capture the imagination like Georg Cantor`s theory of infinity. Bridging the gap between technical accounts of mathematical foundations and popular accounts of logic, this book conveys to the novice the big ideas in the rigorous mathematical theory of infinite sets.

Автор: Downey Rod Et Al
Название: Proceedings Of The 12Th Asian Logic Conference
ISBN: 9814449261 ISBN-13(EAN): 9789814449267
Издательство: World Scientific Publishing
Рейтинг:
Цена: 18216.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising from the 12th meeting. It collects a number of interesting papers from experts in the field. It covers many areas of logic.

Автор: B. Jacobs
Название: Categorical Logic and Type Theory,141
ISBN: 0444508538 ISBN-13(EAN): 9780444508539
Издательство: Elsevier Science
Рейтинг:
Цена: 16675.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. This book is useful for logicians, type theorists, category theorists and (theoretical) computer scientists.