Leszek Pacholski, Wieslaw Szwast
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality
LICS, 1991.
@inproceedings{LICS-1991-PacholskiS, author = "Leszek Pacholski and Wieslaw Szwast", booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1991.151652", isbn = "0-8186-2230-X", pages = "280--285", publisher = "{IEEE Computer Society}", title = "{On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality}", year = 1991, }