Mathematical Logic /

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

Bibliographic Details

Main Author:	Ebbinghaus, H.-D
Corporate Author:	SpringerLink (Online service)
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. Electronic books.
Online Access:	Connect to the full text of this electronic book