header
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