Автор: Petr Hajek Название: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Издательство: Cambridge Academ Рейтинг: Цена: 16743.00 р. 23918.00-30% Наличие на складе: Есть (1 шт.) Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
Автор: Cheng Eugenia Название: Art of Logic ISBN: 1788160398 ISBN-13(EAN): 9781788160391 Издательство: Profile Рейтинг: Цена: 1820.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A practical, illuminating and timeless guide to thinking better, from a Royal Society Prize shortlisted mathematician - now in paperback.
Автор: Sticker Henry Название: How to Calculate Quickly: Full Course in Speed Arithmetic ISBN: 1607964201 ISBN-13(EAN): 9781607964209 Издательство: Неизвестно Рейтинг: Цена: 2068.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Bimbo Katalin Название: Proof Theory: Sequent Calculi and Related Formalisms ISBN: 1466564660 ISBN-13(EAN): 9781466564664 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.
In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.
The book is suitable for a wide audience and can be used in advanced undergraduate or graduate courses. Computer scientists will discover intriguing connections between sequent calculi and resolution as well as between sequent calculi and typed systems. Those interested in the constructive approach will find formalizations of intuitionistic logic and two calculi for linear logic. Mathematicians and philosophers will welcome the treatment of a range of variations on calculi for classical logic. Philosophical logicians will be interested in the calculi for relevance logics while linguists will appreciate the detailed presentation of Lambek calculi and their extensions.
Автор: L. Pacholski; J Wierzejewski; A.J. Wilkie Название: Model Theory of Algebra and Arithmetic ISBN: 3540102698 ISBN-13(EAN): 9783540102694 Издательство: Springer Рейтинг: Цена: 6282.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Simpson Название: Subsystems of Second Order Arithmetic ISBN: 052188439X ISBN-13(EAN): 9780521884396 Издательство: Cambridge Academ Рейтинг: Цена: 23285.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.
Автор: Nelson Edward Название: Predicative Arithmetic. (MN-32): ISBN: 0691610290 ISBN-13(EAN): 9780691610290 Издательство: Wiley Рейтинг: Цена: 5544.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson`s theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy
Автор: C. Berline; K. McAloon; J.-P. Ressayre Название: Model Theory and Arithmetic ISBN: 354011159X ISBN-13(EAN): 9783540111597 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is mostly comprised of six sets of notes for lectures Hilbert gave from 1917 to 1933. The notes cover the development of modern mathematical logic, the evolution of proof theory, and the parallel emergence of Hilbert`s finitist standpoint.
Описание: Uncertainty is an inseparable component of almost every measurement and occurrence when dealing with real-world problems.
Finding solutions to real-life problems in an uncertain environment is a difficult and challenging task. As such, this book addresses the solution of uncertain static and dynamic problems based on affine arithmetic approaches. Affine arithmetic is one of the recent developments designed to handle such uncertainties in a different manner which may be useful for overcoming the dependency problem and may compute better enclosures of the solutions. Further, uncertain static and dynamic problems turn into interval and/or fuzzy linear/nonlinear systems of equations and eigenvalue problems, respectively. Accordingly, this book includes newly developed efficient methods to handle the said problems based on the affine and interval/fuzzy approach. Various illustrative examples concerning static and dynamic problems of structures have been investigated in order to show the reliability and efficacy of the developed approaches.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
