Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Rafal Urbaniak Название: Le?niewski`s Systems of Logic and Foundations of Mathematics ISBN: 3319344161 ISBN-13(EAN): 9783319344164 Издательство: Springer Рейтинг: Цена: 16836 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offering an expansive critical commentary, this meticulous assessment of the ground-breaking work of the philosopher Stanislaw Lesniewski focuses exclusively on primary texts and explores the full range of work by a master logician of the Lvov-Warsaw school.
Автор: Andrea Cantini; Ettore Casari; Pierluigi Minari Название: Logic and Foundations of Mathematics ISBN: 0792356594 ISBN-13(EAN): 9780792356592 Издательство: Springer Рейтинг: Цена: 22958 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains papers which represent a combination of technical results in pure and applied logic. This volume also includes papers devoted to conceptual analysis rooted in research. It is suitable to logical specialists and scholars interested in critical reflections on the foundations of logic, mathematics and computer science.
Автор: Zawaira, Alexander; Hitchcock, Gavin Название: A primer for mathematics competitions ISBN: 019953988X ISBN-13(EAN): 9780199539888 Издательство: Oxford Academ Рейтинг: Цена: 6519 р. Наличие на складе: Невозможна поставка.
Описание: A comprehensive resource containing an entertaining selection of problems in mathematics. Including numerous exercises, illustrations, hints, and solutions, it is aimed at students of mathematics looking for an introduction to problem solving in mathematics, as well as Mathematical Olympiad competitors and other recreational mathematicians.
Автор: Baaz Название: Kurt G?del and the Foundations of Mathematics ISBN: 1107677998 ISBN-13(EAN): 9781107677999 Издательство: Cambridge Academ Рейтинг: Цена: 10294 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume commemorates the life, work and foundational views of Kurt Goedel by exploring the impact of his work on current research and its future implications not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science.
Автор: Stewart Ian Название: Foundations of Mathematics ISBN: 019870643X ISBN-13(EAN): 9780198706434 Издательство: Oxford Education Рейтинг: Цена: 5146 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide.
Автор: Stewart Ian Название: Foundations of Mathematics ISBN: 0198706448 ISBN-13(EAN): 9780198706441 Издательство: Oxford Academ Рейтинг: Цена: 11840 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The transition from school to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a more abstract development of general concepts, based on set theory. This book bridges the divide.
Описание: This book covers a broad spectrum of results in logic and set theory relevant to the foundations, as well as, the results in computational complexity and the interdisciplinary area of proof complexity. It presents the ideas behind the theoretical concepts.
Автор: Felipe Cucker; Michael Shub Название: Foundations of Computational Mathematics ISBN: 3540616470 ISBN-13(EAN): 9783540616474 Издательство: Springer Рейтинг: Цена: 16836 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These articles, corresponding to talks given at the Foundations of Computational Mathematics conference, bring together a variety of subjects in which the computational process itself and the foundational mathematical underpinnings of algorithms are the objects of study.
Автор: Wiktor Marek; Janusz Onyszkiewicz Название: Elements of Logic and Foundations of Mathematics in Problems ISBN: 9027710848 ISBN-13(EAN): 9789027710840 Издательство: Springer Рейтинг: Цена: 27544 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Wiktor Marek; Janusz Onyszkiewicz Название: Elements of Logic and Foundations of Mathematics in Problems ISBN: 9027721319 ISBN-13(EAN): 9789027721310 Издательство: Springer Рейтинг: Цена: 13009 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Andrea Cantini; Ettore Casari; Pierluigi Minari Название: Logic and Foundations of Mathematics ISBN: 9048152011 ISBN-13(EAN): 9789048152018 Издательство: Springer Рейтинг: Цена: 22958 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
