Garrido, Manuel
Lógica simbólica - 2a. ed. - Madrid Tecnos 1991
84-309-1992-9
LÓGICA SIMBÓLICA CÁLCULO CUANTORES SEMÁNTICA SISTEMAS AXIOMAS
Lógica simbólica - 2a. ed. - Madrid Tecnos 1991
84-309-1992-9
LÓGICA SIMBÓLICA CÁLCULO CUANTORES SEMÁNTICA SISTEMAS AXIOMAS