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: A Computational Logic Handbook | Statement: [Robert S. Boyer, notableWork, A Computational Logic Handbook]

Target entity: A Computational Logic Handbook
Context triple: [Robert S. Boyer, notableWork, A Computational Logic Handbook]

• A. "Logic for Computer Science: Foundations of Automatic Theorem Proving"
  "Logic for Computer Science: Foundations of Automatic Theorem Proving" is a textbook that introduces the logical foundations and practical techniques underlying automated theorem proving and its applications in computer science.
• B. First-Order Logic and Automated Theorem Proving
  "First-Order Logic and Automated Theorem Proving" is a foundational textbook that systematically introduces first-order logic while presenting key methods and algorithms used in automated theorem proving.
• C. Handbook of Automated Reasoning
  The "Handbook of Automated Reasoning" is a comprehensive reference work that surveys the theories, methods, and tools used in the field of automated theorem proving and formal reasoning in computer science and logic.
• D. The Logic of Computer Programming
  The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
• E. Logical Methods in Computer Science
  Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
• 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: A Computational Logic Handbook
Triple: [Robert S. Boyer, notableWork, A Computational Logic Handbook]

A Computational Logic Handbook is a foundational reference work that systematically presents the theory, implementation, and applications of automated theorem proving and mechanized reasoning in computer science.

Target entity: A Computational Logic Handbook
Target entity description: A Computational Logic Handbook is a foundational reference work that systematically presents the theory, implementation, and applications of automated theorem proving and mechanized reasoning in computer science.

• A. "Logic for Computer Science: Foundations of Automatic Theorem Proving"
  "Logic for Computer Science: Foundations of Automatic Theorem Proving" is a textbook that introduces the logical foundations and practical techniques underlying automated theorem proving and its applications in computer science.
• B. First-Order Logic and Automated Theorem Proving
  "First-Order Logic and Automated Theorem Proving" is a foundational textbook that systematically introduces first-order logic while presenting key methods and algorithms used in automated theorem proving.
• C. Handbook of Automated Reasoning chosen
  The "Handbook of Automated Reasoning" is a comprehensive reference work that surveys the theories, methods, and tools used in the field of automated theorem proving and formal reasoning in computer science and logic.
• D. The Logic of Computer Programming
  The Logic of Computer Programming is a foundational textbook in theoretical computer science that rigorously develops methods for specifying, proving, and reasoning about the correctness of computer programs.
• E. Logical Methods in Computer Science
  Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
• F. None of above.