Logic
This is a very good no nonsense book .I bought the old (1st) edition very cheaply from better world books .The book is in its 5th edition and no doubt there are changes or added material .So it might be better but more expensive .It treats 1st order predicate calculus very thoroughly .Assumed is a nodding acquaintance with sets but it has a quick treatment at the beginning .The author is an expert and his writing is known for its readability and logical clarity..Advanced undergraduates and beginning graduate students is the level .smn