The study of random graphs was begun in the 1960s and now has a
comprehensive literature. This excellent book by one of the top
researchers in the field now joins the study of random graphs (and other
random discrete objects) with mathematical logic. The methodologies
involve probability, discrete structures and logic, with an emphasis on
discrete structures.