Results for "Symbolic and mathematical Logic"