Mathematical Logic

Target entity: Mathematical Logic
Context triple: [J. Donald Monk, hasWritten, Mathematical Logic]

• A. Formal Logic
  Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
• B. Symbolic Logic
  Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
• C. A Beginner’s Guide to Mathematical Logic
  A Beginner’s Guide to Mathematical Logic is an introductory textbook that explains the fundamental concepts and techniques of mathematical logic in a clear and accessible style.
• D. Philosophy of Logic
  Philosophy of Logic is a work by philosopher Willard Van Orman Quine that examines the nature, foundations, and implications of logical systems within his broader analytic philosophy.
• E. Introduction to Logical Theory
  Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Mathematical Logic
Target entity description: Mathematical Logic is a branch of mathematics and logic that studies formal systems, proof theory, model theory, recursion theory, and set theory to rigorously analyze the foundations of mathematics and reasoning.

• A. Formal Logic
  Formal Logic is a foundational 19th-century work in mathematical logic that systematically develops the principles of symbolic reasoning and inference.
• B. Symbolic Logic
  Symbolic Logic is a foundational work in mathematical logic by John Venn that systematically develops and popularizes the use of diagrams and algebraic methods to represent logical relations.
• C. A Beginner’s Guide to Mathematical Logic
  A Beginner’s Guide to Mathematical Logic is an introductory textbook that explains the fundamental concepts and techniques of mathematical logic in a clear and accessible style.
• D. Philosophy of Logic
  Philosophy of Logic is a work by philosopher Willard Van Orman Quine that examines the nature, foundations, and implications of logical systems within his broader analytic philosophy.
• E. Introduction to Logical Theory
  Introduction to Logical Theory is a mid-20th-century philosophical work by P. F. Strawson that critically examines traditional formal logic and its relation to ordinary language.
• F. None of above. chosen