Mathematical Logic / by H.-D. Ebbinghaus, J. Flum, W. Thomas.

This junior/senior level text is devoted to a study of first-order logic and its role in the foundations of mathematics: What is a proof? How can a proof be justified? To what extent can a proof be made a purely mechanical procedure? How much faith can we have in a proof that is so complex that no o...

Full description

Saved in:

Bibliographic Details
Main Author:	Ebbinghaus, H.-D
Other Authors:	Flum, J., Thomas, W.
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1994.
Edition:	Second edition.
Series:	Undergraduate texts in mathematics.
Subjects:	Mathematics. Logic, Symbolic and mathematical. applied mathematics. mathematics. Matemáticas Logic, Symbolic and mathematical Mathematics
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
Status:	Available

Mathematical Logic / by H.-D. Ebbinghaus, J. Flum, W. Thomas.

‌

Online

Similar Items