This book presents some of the central ideas and results in metalogic without presupposing a substantial mathematical background. It is primarily intended for use as a textbook in logic courses for students having mastered the contents of a standard introductory course in formal logic.