An Introduction to Logic and Lambda Calculus