[CRC TM] Mendelson – Introduction to Mathematical Logic
General:
Name: [CRC TM] Mendelson – Introduction to Mathematical Logic
Format: pdf
Size: 9.99 MB
Book:
Title: Introduction to Mathematical Logic, Sixth Edition
Author: Mendelson, Elliott
Language: angielski
Year: 2023
Subjects: N/A
Publisher: Wydawnictwo: Independently Published
ISBN: 9798374600599
Total pages: 499
Description:
Textbook for symbolic logic, beginning at a level appropriate for beginning students, and continuing through Gödel’s completeness and incompleteness theorems. The text naturally divides into two volumes, the first for reasoning in logic, and the second for reasoning about it. These volumes are available in hardcopy. In addition, both the text and answers to selected exercises are available as PDF downloads.
The first volume includes parts I and II of the text. Part I introduces the complete classical predicate calculus with equality, including both axiomatic and natural derivation systems. Part II transitions to methods for reasoning about logic, including direct reasoning from definitions and mathematical induction.
Download from RapidGator
https://rapidgator.net/file/3e6c176574ca74af324dd5249c8b8fff/2i5r85kit2o28x9gc5irl0.pdf