T3d
Aug4-08, 11:40 PM
I have just finished a book that comprehensively covered Sentential Logic as well as first-order predicate logic. Now I am not sure on what to do next. Firstly the book was mainly a guide so I have a good idea of exactly how to solve equations, but I would like a text book with many questions so that I can become more proficient. I would also like something that would be more advanced. Does any one have any books that they’d like to recommend?