2-е изд., стер. — М.: Академия, 2008. — 448 с. Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа,...
Пер. с англ. Ф.А. Кабакова. — Под ред. С.И. Адяна. — М.: Наука; Физматлит, 1971. — 320 с. В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены...
Dover Publications Inc., 2002. — 432 p. — ISBN10: 0486425339, ISBN13: 978-0486425337. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer...
2nd Edition. — Dover Publications, Inc., 2015. — 528 p. — ISBN: 978-0-486-78082-5. This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers...
Dover Publications, 2014. — 288 p. — ISBN: 0486492370. Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive...
Boston: The MIT Press, 2021. — 366 p. A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference. In this book, Alexander Bochman presents a general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference, basing it on a supposition that causal reasoning is not a competitor of logical...
Revised Edition. — New York University Press, — 176 p. — ISBN: 0-8147-5816-9. In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in...
The Experiment, 2024. — 423 p. — ISBN 979-8-89303-030-3 Open a new portal into Shakespeare's words—and his Renaissance life—with math and numbers as your key. Shakespeare's era was abuzz with mathematical progress, from the new concept of "zero" to Galileo's redraft of the heavens. Now, Rob Eastaway uncovers the many surprising ways math shaped Shakespeare's plays—and his...
Springer, 2017. — 617 p. — (Outstanding Contributions to Logic 13). — ISBN: 3319633325. This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman’s work on mathematical as well as specific methodological and...
Springer International Publishing AG, 2018. — 277 p. — ISBN: 3319629344. This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and...
Springer International Publishing AG, 2018. — 200 p. — (Springer Graduate Texts in Philosophy, vol. 3). — ISBN: 978-3-319-97297-8, 978-3-319-97298-5. This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions. Its first part, Logic...
World Scientific, 2021. — 324 p. — (Problem Solving In Mathematics And Beyond, 22). — ISBN 978-9811228230. Mathematical Labyrinths. Pathfinding provides an overview of various non-standard problems and the approaches to their solutions. The essential idea is a framework laid upon the reader on how to solve nonconventional problems — particularly in the realm of mathematics and...
Dover Publications, 2010. — 91 p. — (Dover Books on Mathematics). — ISBN-13 9780486264042. This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, GodelвЂs theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more....
De Gruyter, 2023. — 270 р. — ISBN 978-3-11-078219-6. Mathematical An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the...
Springer, 2022. — 591 p. — ISBN 978-3-030-71429-1. This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart’s work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on...
Springer, 2021. — 228 p. — (Springer Undergraduate Texts in Philosophy). — ISBN 978-3-030-64810-7. Understand Logic is a comprehensive introduction to this fascinating though sometimes challenging subject. As well as looking at logic in theoretical terms the book considers its everyday uses and demonstrates how it has genuine practical applications. It will take you step by...
Комментарии