First Order Mathematical Logic door Mathematics & Angelo Margaris