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

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussi...

Full description

Saved in:

Bibliographic Details
Main Authors:	Ebbinghaus, H.-D (Author), Flum, J. (Author), Thomas, Wolfgang (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York : Imprint: Springer, 1994.
Edition:	2nd ed. 1994.
Series:	Undergraduate Texts in Mathematics, Springer eBook Collection.
Subjects:	Mathematical logic. Mathematics—Study and teaching . Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

‌

Click to view e-book

Online

Holdings details from Online
Call Number:	E-Book
Status:	Available

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

‌

Online

Similar Items