The infinitary logic of sparse random graphs | IEEE Conference Publication | IEEE Xplore