Logic Matters
Logic, enthusiasms, sceptical thoughts, and a little LaTeX geekery
Skip to content

    Answers to exercises

    PDFs of answers to most of the exercises in IFL are linked below.

    1. Exercises 1
    2. Exercises 2
    3. Exercises 3
    4. Exercises 4
    5. Exercises 5
    6. Exercises 7
    7. Exercises 8
    8. Exercises 9
    9. Exercises 10
    10. Exercises 11
    11. Exercises 12
    12. Exercises 13
    13. Exercises 14
    14. Exercises 16
    15. Exercises 17
    16. Exercises 22
    17. Exercises 23
    18. Exercises 24
    19. Exercises 25
    20. Exercises 26
    21. Exercises 27
    22. Exercises 29
    23. Exercises 32
    24. Exercises 33
    25. Exercises 34
    26. Exercises 35

    Comments are closed.

    • Posts feed

      URL for RSS feed
    • Explore all this site

      • Logic Matters
      • For students
      • Introduction to Formal Logic
        • 1A Logic overheads, Lectures 1 to 16
        • Answers to exercises
        • Cambridge Worksheets
        • Other materials
      • Introduction to Gödel's Theorems
      • LaTeX for Logicians
      • More logic: talks and handouts
      • One logician's iPad
    • Tag Cloud

      Academic life Books Geek stuff Gödel's theorems Italian matters KGFM Logic Math. Thought and Its Objects Music Rants Religion Truth Through Proof
    • Archives

      • 2012
        • January (6)
      • 2011
        • January (10)
        • February (6)
        • March (7)
        • April (9)
        • May (4)
        • June (4)
        • July (6)
        • August (4)
        • September (4)
        • October (12)
        • November (13)
        • December (9)
      • 2010
        • January (9)
        • February (11)
        • March (9)
        • April (6)
        • May (7)
        • June (12)
        • July (7)
        • August (4)
        • September (3)
        • October (8)
        • November (9)
        • December (8)
      • 2009
        • January (14)
        • February (14)
        • March (12)
        • April (11)
        • May (9)
        • June (9)
        • July (8)
        • August (4)
        • September (8)
        • October (9)
        • November (15)
        • December (15)
      • 2008
        • January (15)
        • February (14)
        • March (20)
        • April (23)
        • May (11)
        • June (18)
        • July (16)
        • August (19)
        • September (12)
        • October (13)
        • November (7)
        • December (14)
      • 2007
        • January (4)
        • February (5)
        • March (2)
        • April (7)
        • May (20)
        • June (17)
        • July (16)
        • August (11)
        • September (10)
        • October (19)
        • November (24)
        • December (31)
      • 2006
        • March (3)
        • April (8)
        • May (5)
        • June (4)
        • July (1)
        • August (10)
        • September (5)
        • October (1)
        • November (1)
    • Recent Comments

      • scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
      • Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
      • scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
      • David Auerbach on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
      • Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
    • Blogroll

      • Ben Goldacre's Bad Science
      • But she's a girl
      • Chris Pincock's Honest Toil
      • David Colquhoun's Improbable science
      • James Warren's blog
      • LaTeX for Philosophers
      • Ole Hjortland's blog
      • Richard Zach's LogBlog
      • Tim Gowers's blog
      • Why Miss Jones …
      • Wolfgang Schwartz's blog
      • Zoë's Rum and Reason
    • Tweets @PeterSmith

      Error: Twitter did not respond. Please wait a few minutes and refresh this page.

    Logic Matters
    Proudly powered by WordPress.