Mathematical Logic /

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In an...

Full description

Bibliographic Details

Main Authors:	Ebbinghaus, Heinz-Dieter (Author), Flum, Jörg (Author), Thomas, Wolfgang (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	3rd ed. 2021.
Series:	Graduate Texts in Mathematics, 291
Subjects:	Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing. Electronic books.
Online Access:	Connect to the full text of this electronic book