Intermediate Logic. This page intentionally left blank. Intermediate. Logic DAVID BOSTOCK. CLARENDON PRESS • OXFORD. This book has been printed. Results 1 – 27 of 27 Intermediate Logic by David Bostock and a great selection of related books, art and collectibles available now at : Intermediate Logic () by David Bostock and a great selection of similar New, Used and Collectible Books available now at great .
|Published (Last):||28 October 2008|
|PDF File Size:||9.31 Mb|
|ePub File Size:||12.73 Mb|
|Price:||Free* [*Free Regsitration Required]|
Suppose you want to boostock more logic after working through An Introduction to Formal Logic or a similar book. What should you look at next? There is no magic route to this desirable state!
Intermediate Logic – E-bok – David Bostock () | Bokus
But intfrmediate should come from enough immersion in some maths in our case, in some serious logic books and with sufficient hard work at details and exercises.
After getting on top of first-order logic, then wide fields open up that traditionally belong to mathematical logic broadly understood. The theory of computability and recursive functions. For a longer and much more detailed Guide to teaching yourself some serious logic, see here. I used Jeffrey for the baby logic for many years. The Logic Book, Bergmann et al, is another reasonable intro book, with the advantage of approximately 1 ton of exercises.
Hastily done, with typos.
Would it be supplanted by something else you mention here? I like Suppes too.
I would like to mention 2 wonderfull books: Logica, Taal en Betekenis]. They are very good.
Thanks for all these. I still admire its style and approach. Just checked the University of Chicago Press website.
Pleasantly surprised to see that both books are available, as follows:. Gamut, Logic, Language, and Meaning, Volume 1: Gamut, Logic, Language, and Meaning, Volume 2: A First Course would be a useful addition to the list, slotted in as a bit more sophisticated and faster-paced than the Enderton text. Your email address will not be published. The next step after IFL? It is much the best to read a series of books, at increasingly more sophisticated levels, but with a lot of overlap of content along the way.
Having things explained by different authors, with different emphases, and at different levels of abstraction, can be a great aid to real understanding, and is almost never time wasted. It can also help a lot to read every chapter twice: Remember, mathematics is not a spectator sport.
Do some of the exercises as you go along to check understanding and help fix ideas. For revision, read Richard Jeffrey, Formal Logic: In my experience, however, many beginners do find Jeffrey a bit too brisk as a self-study book.
But now you are no longer a beginner, you should be able to read him with pleasure and instruction.
Various ideas and notation from logic and elementary set theory are explained and put to work. However it does cover sorts of proof system other than trees, and is nicely accessible. But a classic presentation of logic via natural deduction. Also intermedate expanded version of this appears in the 2nd edition of the Handbook. February 18, at February 18, at 1: February 18, at 3: February 21, at 6: February 22, at 5: February 23, at 4: Pleasantly surprised to see that both books are available, as follows: March 8, at 2: Leave a Reply Cancel reply Your email address will not be published.
Proudly powered by WordPress.