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,
}