First Order Mathematical Logic by Mathematics & Angelo Margaris