00534nam 2200181 450 2618817http://id.bnportugal.gov.pt/bib/porbase/26188170-12-238452-0isec005_bc.iso/29-08-2014/512820020110d2001 k y0pory0103 baengUS<A >mathematical introduction to logicHerbert B. Enderton2nd edSan Diego [etc.]Harcourt Academic Presscop. 2001317 p.510.6BNporEndertonHerbert B.PTISECRPC