I would like to find a latex style that is close to the one used in books like the followings:
Melvin Fitting, "First-Order Logic and Automated Theorem Proving" http://books.google.es/books?id=nYN0dBrCpmMC&pg=PA9
Li and Vitányi, "An Introduction to Kolmogorov Complexity and Its Applications" http://books.google.es/books?id=25fue3UYDN0C&pg=PA259
The CC-licensed book "Mathematics for Computer Science" available at http://courses.csail.mit.edu/6.042/spring12/mcs.pdf
Does anybody know a similar layout format?