A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality.

Wieslaw Szwast A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality. 339-351 1995 6 Int. J. Found. Comput. Sci. 4 db/journals/ijfcs/ijfcs6.html#Szwast95