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...
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...
Комментарии