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

Saved in:

Bibliographic Details
Main Author:	Ebbinghaus, H.-D
Other Authors:	Flum, J., Thomas, W.
Format:	Electronic 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.
Online Access:	Full text (Emerson users only) Full text (Emmanuel users only) Full text (NECO users only) Full text (MCPHS users only) Full text (Wentworth users only)

Full text (Emerson users only)
Full text (Emmanuel users only)
Full text (NECO users only)
Full text (MCPHS users only)
Full text (Wentworth users only)

Emerson

Holdings details from Emerson
Call Number:	ProQuest

Emmanuel

Holdings details from Emmanuel
Call Number:	ProQuest

NECO

Holdings details from NECO
Call Number:	ProQuest

MCPHS

Holdings details from MCPHS
Call Number:	ProQuest

Wentworth

Holdings details from Wentworth
Call Number:	ProQuest