Translation of resolution proofs into short first-order proofs without choice axioms

✍ Scribed by Hans de Nivelle

• Book ID: 113641555
• Publisher: Elsevier Science
• Year: 2005
• Tongue: English
• Weight: 466 KB
• Volume: 199
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2004.10.011