TY - BOOK AU - Howson, Colin TI - Logic with trees: an introduction to symbolic logic SN - 0415133416 (hbk) AV - BC 135 H68.1997 U1 - 160 20 PY - 1997/// CY - London PB - Routledge KW - Lógica simbólica y matemática N1 - Incluye referencias bibliográficas (p. [189]-190) e índices ER -