Basic Proof Theory por A. Troelstra and H. Schwichtenberg.

Logic: From Foundations to Applications; European Logic Colloquium. Editado por W. A. Hodges, J. M. E. Hyland, C. I. Steinhorn, y J. Truss.

Reasoning About Knowledge por R. Fagin, J. Y. Halpern, Y. Moses, y M. Y. Vardi.

Lógica y Complejidad. En francés, por R. Lassaigne y M. de Rougemont.