FUNDAMENTALS OF LOGIC