logic and 0-1 laws (1992)

by Infinitary
Venue:Information and Computation