First Order-Logic (An Introduction)