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.
Kategori:
Tahun:
2023
Penerbit:
de Gruyter
Bahasa:
english
Halaman:
270
ISBN 10:
3110782014
ISBN 13:
9783110782011
File:
PDF, 4.28 MB
IPFS:
,
english, 2023