Skip to main content
PBS logo
 
 

Search - Mathematical Logic (Undergraduate Texts in Mathematics)

Mathematical Logic (Undergraduate Texts in Mathematics)
Mathematical Logic - Undergraduate Texts in Mathematics
Author: H-.D. Ebbinghaus, etc., 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 one can follow it through in a lifetime? The fir...  more »
ISBN-13: 9783540942580
ISBN-10: 3540942580
Pages: 299
Rating:
  ?

0 stars, based on 0 rating
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review