Mathematical Logic

  • Mathematical Logic: Formal Systems

    Mathematical Logic: Formal Systems

  • Mathematical Logic
    Mathematical Logic
    By Joseph R. Shoenfield

    There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers.