Prawitz, Dag,

Natural deduction : a proof-theoretical study / Dag Prawitz. - viii, 113 páginas : ilustraciones. .

0486446557


LOGICA.
LOGICA SIMBOLICA.

162