Modern 1st Order Logic Book: Clear Exercises & Solutions

  • Thread starter Thread starter tgt
  • Start date Start date
  • Tags Tags
    Book Logic
Click For Summary
SUMMARY

The discussion centers on the search for a modern textbook on first-order logic that includes clear exercises and solutions. Elliot Mendelson's textbook is noted for lacking solutions, a common issue in mathematical logic literature. Raymond Smullyan's work is recommended for its quality, although the participant has not personally reviewed it. The need for accessible resources with comprehensive solutions is emphasized.

PREREQUISITES
  • Understanding of first-order logic concepts
  • Familiarity with mathematical logic terminology
  • Experience with textbook evaluation criteria
  • Knowledge of educational resources in logic
NEXT STEPS
  • Research modern textbooks on first-order logic that include solutions
  • Explore Raymond Smullyan's "First Order Logic" for its pedagogical approach
  • Investigate online resources or forums for additional exercises and solutions
  • Review user feedback on various mathematical logic textbooks
USEFUL FOR

Students of logic, educators seeking teaching materials, and anyone looking to enhance their understanding of first-order logic through practical exercises and solutions.

tgt
Messages
519
Reaction score
2
What would be such a book which is modern and clear with good excercises and solutions?
 
Physics news on Phys.org
I myself tried Elliot Mendelson's textbook, it doesn't have solutions to questions in it (as most textbooks in mathematical logic don't have).

Another textbook which (but) I haven't tried, but everything the author writes is truly gold, is first order logic by Raymond Smullyan, the magiclogician.
 

Similar threads

Quantum Looking for upper division modern physics book
  • · Replies 9 ·
Replies
9
Views
3K
Relativity Studying Modern Physics, need book recommendations
  • · Replies 2 ·
Replies
2
Views
6K
Engineering Books with/without worked out problems and exercises in Power Processing
  • · Replies 3 ·
Replies
3
Views
2K
Need a book on Modern Physics to supplement Griffiths QM
  • · Replies 17 ·
Replies
17
Views
2K
Book recommendation after Sakurai Modern Quantum Physics
  • · Replies 3 ·
Replies
3
Views
1K
Good books to learn electronic devices and circuits AND digital electronics
  • · Replies 2 ·
Replies
2
Views
8K
Other Intro Logic Books (differences between Peter Smith, J.J. Smith and P.Teller)
  • · Replies 1 ·
Replies
1
Views
2K
Advanced elasticity book recommendation
  • · Replies 4 ·
Replies
4
Views
4K
Analysis Need Self study book for Fourier Series and Generalized Functions
  • · Replies 7 ·
Replies
7
Views
779
Intro Math Hassani's books on Mathematical Physics/Methods
  • · Replies 5 ·
Replies
5
Views
5K