online marketing Free Computer Science, Engineering, Medical Ebooks: First Order Mathematical Logic

Friday, January 1, 2010

First Order Mathematical Logic

First Order Mathematical Logic

Free Image Hosting at www.ImageShack.us

Angelo Margaris "First Order Mathematical Logic"
Dover Publications | English | 1990-03-01 | ISBN: 0486662691 | 212 pages | DJVU | 1,6 MB


Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. "...an excellent text."—Mathematical Reviews. Exercises. Bibliography.

To start download click HERE:




0 comments:

Post a Comment

report broken linkhere if link is broken