Books by Jose L. Zalabardo

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.

An introduction to the basic concepts and results of contemporary logic, including a discussion of the basic mathematical tools needed to master the technical aspects of the subject.