The infinitary logic of sparse random graphs

Lynch, James F.; Tyszkiewicz, Jerzy

(1995)
Beitrag zu einem Tagungsband

In: Proc. 10. IEEE Sympos. on Log. in Comput. Sci. San Diego 1995
Seite(n)/Artikel-Nr.: 46-53