Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

✍ Scribed by Larry Wos; Dolph Ulrich; Branden Fitelson

• Book ID: 110410350
• Publisher: Springer Netherlands
• Year: 2002
• Tongue: English
• Weight: 110 KB
• Volume: 29
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1021693818601