On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality

Leszek Pacholski Wieslaw Szwast On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality 280-285 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#PacholskiS91