00349nam a2200109 a 450000500170000008200190001710000230003624500790005926000350013830000210017349000450019420251203090503.0  a511.3,bD, and  aAndrews, Peter, B.  aIntroduction to mathematical logic and type theory: to truth through proof  aNew YorkbAcademic Pressc1986  axv, 304p, 22 cm.  aComputer science and applied mathematics