The infinitary logic of sparse random graphs

Lynch, James F.; Tyszkiewicz, Jerzy

(1995)
Contribution to a conference proceedings

In: Proc. 10. IEEE Sympos. on Log. in Comput. Sci. San Diego 1995
Page(s)/Article-Nr.: 46-53