Introduction to Logic
Axiomatic set theory
Studies in Logic and the Foundations of Mathematics. Volume 145
Primer curso de lógica matemática
