A Syntactic Proof of a Conjecture of Andrzej Wronski

Tomasz Kowalski. A Syntactic Proof of a Conjecture of Andrzej Wronski. Reports on Mathematical Logic, 28:81-86, 1994. [doi]

Abstract

Abstract is missing.