Mathematical Logic + Errata Insert; 4th Pr of REVISED edition;