Lógica en la UAM-I

teoría de modelos