01052nam--2200373---450-99000121097020331620031021170912.00-12-058535-9000121097USA01000121097(ALEPH)000121097USA0100012109720031021d1986----km-y0itay0103----baengUS||||||||001yyAn introduction to mathematical logic and type theoryto truth through proofOrlandoAcademic Press198620012001001-------2001Logica matematicaLogica simbolica511.3ANDREWS,Peter B.44359ITsalbcISBD990001210970203316511.3 AND6266 Ing511.3BKTECSIAV21020031021USA011709PATRY9020040406USA011727An introduction to mathematical logic and type theory984361UNISA