Автор: Sheppard Название: The Logic of Infinity ISBN: 1107678668 ISBN-13(EAN): 9781107678668 Издательство: Cambridge Academ Рейтинг: Цена: 51750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Graham Priest Название: An Introduction to Non-Classical Logic ISBN: 0521854334 ISBN-13(EAN): 9780521854337 Издательство: Cambridge Academ Рейтинг: Цена: 99270.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Downey Rod Et Al Название: Proceedings Of The 12Th Asian Logic Conference ISBN: 9814449261 ISBN-13(EAN): 9789814449267 Издательство: World Scientific Publishing Рейтинг: Цена: 121440.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 111170.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz