The Road to Universal Logic, Arnold Koslow; Arthur Buchsbaum
Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Bergman George M. Название: Invitation to general algebra and universal constructions ISBN: 3319114778 ISBN-13(EAN): 9783319114774 Издательство: Springer Рейтинг: Цена: 10061.00 р. 11179.00-10% Наличие на складе: Есть (1 шт.) Описание: An Invitation to General Algebra and Universal Constructions
Описание: This book traces the careers of Athanasius Kircher and Galileo Galilei, reviewing Kircher`s work translating hieroglyphs, developing sundials and even preceding Darwin in suggesting that animal species evolve, and Galileo`s on scales, telescopes and sun spots.
Автор: A.G. Pinus Название: Boolean Constructions in Universal Algebras ISBN: 0792321170 ISBN-13(EAN): 9780792321170 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Examines the fundamentals of the theory of Boolean construction in universal algebra. This text explores the problems of presenting different varieties of universal algebras with these constructions, and applications for investigating the spectra and skeletons of varieties of universal algebras.
Автор: Achille C. Varzi Название: An Essay in Universal Semantics ISBN: 0792356292 ISBN-13(EAN): 9780792356295 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds.
Автор: M. Goldstein; Valery B. Kudryavtsev; Ivo G. Rosenb Название: Structural Theory of Automata, Semigroups, and Universal Algebra ISBN: 1402038151 ISBN-13(EAN): 9781402038150 Издательство: Springer Рейтинг: Цена: 29209.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A result of the NATO ASI summer school held in Montreal in 2003, this book develops semi groups and automata and surveys them. It also places emphasis on the structural theory of automata that studies ways to construct big automata from small ones.
Автор: Greg Restall Название: Logic ISBN: 0415400686 ISBN-13(EAN): 9780415400688 Издательство: Taylor&Francis Рейтинг: Цена: 5970.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.
Автор: Fitting Название: First-Order Modal Logic ISBN: 0792353358 ISBN-13(EAN): 9780792353355 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Нет в наличии.
Описание: Presents a treatment of first-order modal logic, together with propositional background. This book covers quantification, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege`s morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; and more.
Описание: Logic as Universal Science offers a detailed reconstruction of the underlying philosophy in The Principles of Mathematics showing how Russell sought to deliver a death blow to the dominant Kantian view that formal logic is a concise and dry science and unable to enlarge our understanding.
Описание: This book continues Ifrah`s story from The Universal History of Numbers to cover the invention of computers and the binary number system, as well as recently discovered numbers systems, including "surreal" numbers and numerical codes.
Автор: Arnold Koslow; Arthur Buchsbaum Название: The Road to Universal Logic ISBN: 3319101927 ISBN-13(EAN): 9783319101927 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Road to Universal Logic
Автор: M. Goldstein; Valery B. Kudryavtsev; Ivo G. Rosenb Название: Structural Theory of Automata, Semigroups, and Universal Algebra ISBN: 140203816X ISBN-13(EAN): 9781402038167 Издательство: Springer Рейтинг: Цена: 20263.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
