Mathematical Logic: An Introduction
Daniel Cunningham
This textbook reviews the foundational topics that are typically covered in an introduction to proof course and studies the language of sentential logic as well as investigating the more powerful language of first-order logic and the notion of a formal deduction in first-order logic, in addition, it proves Godel's Completeness Theorem and discusses incompleteness and the computability concept.
წელი:
2023
გამომცემლობა:
de Gruyter
ენა:
english
გვერდები:
320
ISBN 10:
3110782073
ISBN 13:
9783110782073
ფაილი:
EPUB, 32.20 MB
IPFS:
,
english, 2023