Skip to main content
PBS logo
 
 

Search - First Order Mathematical Logic

First Order Mathematical Logic
First Order Mathematical Logic
Author: Angelo Margaris
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 tex...  more »
ISBN-13: 9780486662695
ISBN-10: 0486662691
Publication Date: 3/1/1990
Pages: 212
Rating:
  ?

0 stars, based on 0 rating
Publisher: Dover Publications
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: