Wieslaw Szwast
Leszek Pacholski and Wies{\l}aw Szwast.
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality.
Information and Computation
, 107(1):91-103, November 1993.
References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database