![](/img/cover-not-exists.png)
[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - On the 0-1 law for the class of existential second order minimal Godel sentences with equality
Pacholski, L., Szwast, W.Year:
1991
Language:
english
DOI:
10.1109/LICS.1991.151652
File:
PDF, 434 KB
english, 1991