Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.

"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?...

Full description

Saved in:

Bibliographic Details
Main Authors:	Ebbinghaus, Heinz-Dieter, 1939- (Author), Flum, Jörg (Author), Thomas, Wolfgang, 1947- (Author)
Format:	Book
Language:	English German
Published:	Cham, Switzerland : Springer, [2021]
Edition:	Third edition.
Series:	Graduate texts in mathematics ; 291.
Subjects:	Logic, Symbolic and mathematical.
Uniform Title:	Einführung in die mathematische Logik.

Science Library

Holdings details from Science Library
Call Number:	QA9 .E2213 2021
Status:	Available

Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas.

Science Library

Similar Items