Downward journey or the tyrant. zeus catechized. zeus rants. the dream or the cock. prometheus. icaromenippus or the sky-man. timon or the misanthrope. charon or the inspectors. philosophies for sale, White, Timothy O, Bmedsci, Mbchb, Frcsed (tr & Orth), Md (consultant Orthopaedic Trauma Surgeon, Royal Infirmary Of Edinburgh; Honorary Senior Lecture

Автор: Rotman, Joseph J.
Название: Journey into mathematics
ISBN: 0486453065 ISBN-13(EAN): 9780486453064
Издательство: Dover
Рейтинг:
Цена: 13240.00 T
Наличие на складе: Нет в наличии.
Описание: In Washington`s God Michael Novak-one of America`s leading neoconservative pundits-and his daughter, Jana, uncover George Washington`s religious life. Finally the record is set straight on the most thoroughly misunderstood aspect of Washington`s life. The Novaks focus on Washington`s strong trust in divine Providence and see this belief as providing the unifying narrative to his monumental life.

Автор: White, Timothy O, Bmedsci, Mbchb, Frcsed (tr & Orth), Md (consultant Orthopaedic Trauma Surgeon, Royal Infirmary Of Edinburgh; Honorary Senior Lecture
Название: Downward journey or the tyrant. zeus catechized. zeus rants. the dream or the cock. prometheus. icaromenippus or the sky-man. timon or the misanthrope. charon or the inspectors. philosophies for sale
ISBN: 1107010527 ISBN-13(EAN): 9781107010529
Издательство: Cambridge Academ
Рейтинг:
Цена: 105590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation. This book is for mathematical or philosophical logicians, computer scientists and linguists, including academic researchers, teachers and advanced students.

Автор: Martin Hils, Francois Loeser
Название: A First Journey through Logic
ISBN: 1470452723 ISBN-13(EAN): 9781470452728
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 49330.00 T
Наличие на складе: Невозможна поставка.
Описание: The aim of this book is to present mathematical logic to students who are interested in what this field is but have no intention of specializing in it. The point of view is to treat logic on an equal footing to any other topic in the mathematical curriculum. The book starts with a presentation of naive set theory, the theory of sets that mathematicians use on a daily basis. Each subsequent chapter presents one of the main areas of mathematical logic: first order logic and formal proofs, model theory, recursion theory, Godel's incompleteness theorem, and, finally, the axiomatic set theory. Each chapter includes several interesting highlights—outside of logic when possible—either in the main text, or as exercises or appendices. Exercises are an essential component of the book, and a good number of them are designed to provide an opening to additional topics of interest.