Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Mathematical Logic | Statement: [J. Donald Monk, hasWritten, 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.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: Mathematical Logic
Triple: [J. Donald Monk, hasWritten, Mathematical Logic]

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.

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